by Henk Barendregt (Author), Richard Statman (Author), Wil Dekkers (Author)
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
Format: Illustrated
Pages: 856
Edition: Illustrated
Publisher: Cambridge University Press
Published: 20 Jun 2013
ISBN 10: 0521766141
ISBN 13: 9780521766142
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
