ShopSpell

Program Proofs [Paperback]

$68.99     $70.00   1% Off     (Free Shipping)
15 available
  • Category: Books (Computers)
  • Author:  Leino, K. Rustan M.
  • Author:  Leino, K. Rustan M.
  • ISBN-10:  026254623X
  • ISBN-10:  026254623X
  • ISBN-13:  9780262546232
  • ISBN-13:  9780262546232
  • Publisher:  The MIT Press
  • Publisher:  The MIT Press
  • Pages:  496
  • Pages:  496
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-May-2023
  • Pub Date:  01-May-2023
  • SKU:  026254623X-11-SPLV
  • SKU:  026254623X-11-SPLV
  • Item ID: 105417871
  • List Price: $70.00
  • Seller: ShopSpell
  • Ships in: 2 business days
  • Transit time: Up to 5 business days
  • Delivery by: Nov 27 to Nov 29
  • Notes: Brand New Book. Order Now.
Add Review