ShopSpell

Computation and Reasoning A Type Theory for Computer Science [Hardcover]

$122.99       (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Zhaohui Luo
  • Author:  Zhaohui Luo
  • ISBN-10:  0198538359
  • ISBN-10:  0198538359
  • ISBN-13:  9780198538356
  • ISBN-13:  9780198538356
  • Publisher:  Clarendon Press
  • Publisher:  Clarendon Press
  • Pages:  240
  • Pages:  240
  • Binding:  Hardcover
  • Binding:  Hardcover
  • Pub Date:  01-Jul-1994
  • Pub Date:  01-Jul-1994
  • SKU:  0198538359-11-MPOD
  • SKU:  0198538359-11-MPOD
  • Item ID: 100743491
  • Seller: ShopSpell
  • Ships in: 2 business days
  • Transit time: Up to 5 business days
  • Delivery by: Mar 30 to Apr 01
  • Notes: Brand New Book. Order Now.
Add Review