Sale!
Program Proofs (1st Edition)
$19.99
Download Program Proofs (1st Edition) written by K. Rustan M. Leino in PDF format. This book is under the category AO. ISBN: 9780262546232 / 9780262546232. You may refer to the table below for additional details of the book. We do NOT provide access codes, we provide eBooks ONLY. Instant access will be granted as soon as you complete the payment.
Additional information
| book-author | K. Rustan M. Leino |
|---|---|
| publisher | MIT Press |
| file-type | |
| language | en |
| year | 2023 |
| isbn13 | 9780262546232 |
| isbn10 | 9780262546232 |
| pages | 496 |
Be the first to review “Program Proofs (1st Edition)”
Specifications
| book-author | K. Rustan M. Leino |
|---|---|
| publisher | MIT Press |
| file-type | |
| language | en |
| year | 2023 |
| isbn13 | 9780262546232 |
| isbn10 | 9780262546232 |
| pages | 496 |
Related products
- Sale!
Strategic Management and Competitive Advantage: Concepts and Cases (5th Edition) (5th Edition)
$19.99 - Sale!
Medieval Europe: A Short History (12th Edition)
$19.99 - Sale!
Clinical Interviews for Children and Adolescents: Assessment to Intervention (The Guilford Practical Intervention in the Schools Series) (3rd Edition)
$19.99 - Sale!
Design Basics (9th Edition)
$19.99
Reviews
There are no reviews yet.