Item added to cart

Free

Shipping
15% Off
ShopSpell

Interactive Theorem Proving and Program Development CoqArt The Calculus of In [Hardcover]

$101.99     $119.99    15% Off      (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Bertot, Yves, Cast?ran, Pierre
  • Author:  Bertot, Yves, Cast?ran, Pierre
  • ISBN-10:  3540208542
  • ISBN-10:  3540208542
  • ISBN-13:  9783540208549
  • ISBN-13:  9783540208549
  • Publisher:  Springer
  • Publisher:  Springer
  • Binding:  Hardcover
  • Binding:  Hardcover
  • Pub Date:  01-Feb-2004
  • Pub Date:  01-Feb-2004
  • SKU:  3540208542-11-SPRI
  • SKU:  3540208542-11-SPRI
  • Item ID: 105264816
  • List Price: $119.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Jul 03 to Jul 05
  • Notes: Brand New Book. Order Now.
Add Review

 

 

 

 

Copyright © 2018 - 2026 ShopSpell