Item added to cart

Free

Shipping
22% Off
ShopSpell

Adapting Proofs-as-Programs: The Curry--Howard Protocol [Paperback]

$132.99     $169.99   22% Off     (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Poernomo, Iman, Crossley, John N., Wirsing, Martin
  • Author:  Poernomo, Iman, Crossley, John N., Wirsing, Martin
  • ISBN-10:  1441920145
  • ISBN-10:  1441920145
  • ISBN-13:  9781441920140
  • ISBN-13:  9781441920140
  • Publisher:  Springer
  • Publisher:  Springer
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Feb-2010
  • Pub Date:  01-Feb-2010
  • SKU:  1441920145-11-SPRI
  • SKU:  1441920145-11-SPRI
  • Item ID: 100708832
  • List Price: $169.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Oct 31 to Nov 02
  • Notes: Brand New Book. Order Now.
Add Review

 

 

 

 

Copyright © 2018 - 2024 ShopSpell