Books · Books
Adapting Proofs As Programs The Curry Howard Protocol
Product code: 9780387237596
₹8154
₹81540% off
Adapting Proofs As Programs The Curry Howard Protocol
Book details
Book Details
- Publisher
- Springer
- ISBN
- 9780387237596
- ISBN 10
- 387237593
- ISBN 13
- 9780387237596
- Edition
- 0
- Publication Year
- 2005
- Author
- Poernomo
General
- GTIN
- 9780387237596
- ISBN_1
- 9780387237596