Cart 0 items

Login | Register | Help

Home > ISBN Search > 9780387237596

Stock photo. Cover may not represent actual copy or condition available.

Quick buy Used / F $51.34 More Used Books New: $57.78 More New Books Adapting Proofs-As-Programs : The Curry-Howard Protocol by John N. Crossley ; M. Wirsing ; Iman Hafiz Poernomo ISBN 13: 9780387237596 ISBN 10: 0387237593 Hardcover Read it? Leave a review of this book! ... Read more about Adapting Proofs-As-Programs Publisher: Springer-Verlag New York Inc Published date: 2005 Size: 6 x 9.5 inches Weight: 1.6 pounds Pages: 420 We found 6 used copies and 3 new copies of this book. (Show all copies of ISBN 9780387237596)

Used Books (3 of 6) Show all

Fine - Adapting Proofs-As-Programs by John N. Crossley ; M. Wirsing ; Iman Hafiz Poernomo Springer. Used - Like New. Great Buy!!!*** Never Used*** May Have a Publisher's Mark~We ... (more details) Offered by Smokymtnbooks $51.34     Fine - Adapting Proofs-As-Programs by John N. Crossley ; M. Wirsing ; Iman Hafiz Poernomo Springer. Used - Like New. Great Buy! Never Used. May Have a Publisher's Mark. We have o... (more details) Offered by Smokymtnbooks $53.74     Fine - Adapting Proofs-As-Programs by John N. Crossley ; M. Wirsing ; Iman Hafiz Poernomo Springer, 2005-06-21. Hardcover. Like New. Excellent customer service. Prompt Customer S... (more details) Offered by ExtremelyReliable_com $83.24

New Books (3 of 3) Show all

New - Adapting Proofs-As-Programs by John N. Crossley ; M. Wirsing ; Iman Hafiz Poernomo Springer. Hardcover. 0387237593 Brand new..All books ship within 1-2 business days..100% s... (more details) Offered by Book Outlet $57.78     New - Adapting Proofs-As-Programs by John N. Crossley ; M. Wirsing ; Iman Hafiz Poernomo Hardcover. New. Brand New, Perfect Condition. May Ship From Overseas, Allow 30 Days Deli... (more details) Offered by PapaMedia.com $115.95     New - Adapting Proofs-As-Programs by John N. Crossley ; M. Wirsing ; Iman Hafiz Poernomo Springer. Hardcover. 0387237593 Absolutely Brand New. No marks and in pristine condition. ... (more details) Offered by Paperleaf Books $114.43

Copyright © 2000-2009 Biblio, Inc. All Rights Reserved.

All rights in images of books or other publications included in Biblio.com are reserved by the original copyright owners.
Portions of book data copyright 1995-2009 Muze Inc. For personal non-commercial use only. All rights reserved. Some content for books is owned by Baker & Taylor, Inc. or its licensors and is subject to copyright and all other protections provided by applicable law.