Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

Price: $51.34
Shipping rates & speeds \| 30 Day Return Guarantee Ask bookseller a question \| Review this book \| E-mail to a friend

Book description: Springer. Used - Like New. Great Buy!!!*** Never Used*** May Have a Publisher's Mark~We have over 2,500,000 Books Sold!!! Over 535,000 Feedbacks Posted!!!

Bookseller: Smokymtnbooks (US)
Bookseller Inventory #: 549988-2-013-106-38723759
Book condition: Used - Like New
Binding: Hardcover
ISBN 10: 0387237593
ISBN 13: 9780387237596
Publisher: Springer
Date published: 2005
Pages: 420
Size: 6 x 9.5 x 1 inches
LCCN: QA9.54.P64 2005
Dewey: 511.3/6
Weight: 1.6 pounds
Subjects: COMPUTERS / General; COMPUTERS / Logic Design;

Bookseller Terms of Sale

All purchases may be returned for a full refund up to 30 days after estimated receipt of order unless cutomer changes his/her mind at which point if the book has been shipped, customer will be responsible for shipping only and if the book has not been shipped, a full refund plus shipping will be issued.