Program Proofs [Paperback]

$68.99     $70.00   1% Off     (Shipping shown at checkout) (Free Shipping)
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:
  • Ships in: business days
  • Transit time: Up to business days
  • Delivery by: to
  • Notes:
  • Restrictions:
  • Limit: per customer
  • Cart Requirements: .MIN_ORD_MSG}}
Add Review