Code: 42115756
93.49 €
RRP: 95.38 €
You save 1.89 €
In stock at our supplier
Shipping in 3 - 5 days
Add to wishlist
You might also like
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
Book gift voucher sampleRead more
More about Program Proofs
You get 230 loyalty points
Book details
Book category
Books in German
Naturwissenschaften, Medizin, Informatik, Technik
Informatik, EDV
- Full title: Program Proofs
- Author: Kaleb Leino
- Language: English
- Binding: Paperback
- Number of pages: 496
- EAN: 9780262546232
- ISBN: 026254623X
- ID: 42115756
- Publisher: MIT Press Ltd
- Dimensions: 229 × 178 mm
- Date of publishing: 07. March 2023