- Home /
- Books /
- Educational and Professional Books /
- Academic and Professional Books /
- Computers Internet Books /
- Computer Engineering Books /
- Logic Design Books / Adapting Proofs-As-Programs The Curry--Howard Protocol
Adapting Proofs-As-Programs The Curry--Howard Protocol - 9781441920140
John N Crossley , Martin Wirsing
₹12637
About the Book :
- Language : English
- Binding : Paperback
- Contributors : John N. Crossley, Martin Wirsing, Iman Poernomo
Adapting Proofs-As-Programs The Curry--Howard Protocol Details :
DETAILS
- Language : English
- Binding : Paperback
- Contributors : John N. Crossley, Martin Wirsing, Iman Poernomo
Adapting Proofs-As-Programs The Curry--Howard Protocol Price History
- The best price for Adapting Proofs-As-Programs The Curry--Howard Protocol in India is Rs. as per December 24, 2024, 1:59 am
- You save NAN% by purchasing it at for over which sells it for
- The prices for is valid in all major cities of India including Bangalore, Delhi, Hyderabad, Chennai, Mumbai, Kolkata and Pune. Please check instructions at the specific stores for any deviation.
- All prices mentioned above are in INR