Program Proofs
Sale

Program Proofs

MIT Press Ltd
SKU:
9780262546232
|
UPC:
9780262546232
£67.00 £54.52
(No reviews yet)
Condition:
New
Current Stock:
Adding to cart… The item has been added
Description



  • | Author: K. Rustan M. Leino, Kaleb Leino
  • | Publisher: MIT Press Ltd
  • | Publication Date: Mar 07, 2023
  • | Country of Publication: United States
  • | Number of Pages: 496 pages
  • | Language: NA
  • | Binding: Paperback / softback
  • | ISBN-10: 026254623X
  • | ISBN-13: 9780262546232
Additional Information
By (Author):
K. Rustan M. Leino, Kaleb Leino
Publisher:
MIT Press Ltd
Publication Date:
Mar 07, 2023
Country of Publication:
United States
Language:
NA
Number of pages:
496 pages
Binding:
Paperback / softback
ISBN-10:
026254623X
ISBN-13:
9780262546232
Related Products