🎉   Please check out our new website over at books-etc.com.

Seller
Your price
£39.73
RRP: £45.00
Save £5.27 (12%)
Printed on Demand
Dispatched within 9-11 working days.

The Book of Shen

third edition

By (author) Mark Tarver
Format: Paperback / softback
Publisher: FastPrint Publishing, Peterborough, United Kingdom
Published: 18th Jun 2015
Dimensions: w 150mm h 227mm d 27mm
Weight: 665g
ISBN-10: 1784562130
ISBN-13: 9781784562137
Barcode No: 9781784562137
Trade or Institutional customer? Contact us about large order quotes.
Synopsis
Shen has emerged as one of the most portable and far-reaching integrations of two great programming paradigms - functional and logic programming. The third edition to The Book of Shen gives the foundations of both those disciplines, exploring both lambda calculus, type theory, first - order and Horn clause logic in a text which is rich in worked examples. In the course of 400 pages, the text gives a complete formal and informal exposition of Shen.

New & Used

Seller Information Condition Price
-New£39.73
+ FREE UK P & P

What Reviewers Are Saying

Be the first to review this item. Submit your review now