Adapting Proofs As Programs The Curry Howard Protocol(1st Edition)
Authors:
Iman Poernomo ,John N. Crossley ,Martin Wirsing
In Stock
Include with your book
Free shipping: April 04, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 1441920145, 978-1441920140
Book publisher: Springer
Frequently Bought Together
Quantitative Chemical Analysis - 8th edition
Daniel C. Harris
ISBN: 1429218150, 978-1429218153
$0 $113.00
Fiscal Targets And Economic Growth - 1st Edition
Thomas J Courchene
ISBN: 0889117780, 978-0889117785
$0 $20.98
Fundamental Accounting Principles Volume 1 - 17th Canadian Edition
Kermit D. Larson
ISBN: 1260881326, 9781260881325
$0 $130.00
Financial Management Core Concepts - 4th Edition
Raymond Brooks
ISBN: 134730417, 134730410, 978-0134730417
$0 $159.99
Matters Of Culture Cultural Sociology In Practice - 1st Edition
Roger Friedland
ISBN: 0521795451, 978-0521795456
$0 $47.00
Modeling Enterprise Architecture With TOGAF A Practical Guide Using UML And BPMN - 1st Edition
Philippe Desfray
ISBN: 0124199844, 978-0124199842
$0 $37.46
Simple Architectures For Complex Enterprises - 1st Edition
Roger Sessions
ISBN: 0735625786, 978-0735625785
$0 $7.98