Go back
Adapting Proofs As Programs The Curry Howard Protocol(1st Edition)
Authors:
Iman Poernomo ,John N. Crossley ,Martin Wirsing
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $163.12
Savings: $163.12(100%)
Book details
ISBN: 1441920145, 978-1441920140
Book publisher: Springer
Frequently Bought Together
Machine Learning Mathematics In Python - 1st Edition
Jamie Flux
ISBN: B0D8ZS5V18, 979-8332452369
$0 $39.99
Introduction To Business Law - 7th Edition
Jeffrey F. Beatty
ISBN: 035771718X, 9780357717189
$0 $255.95
Practical Statistics For Educators - 7th Edition
Ruth Ravid
ISBN: 1538191709, 978-1538191705
$0 $49.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 $6.98