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 and bearing the isbn13 numbers 9780262546232/9780262546232. You may reffer 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!
Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and Games (1st Edition)
$19.99 - Sale!
Theoretical Perspectives for Direct Social Work Practice, Fourth Edition: A Generalist-Eclectic Approach (4th Edition)
$19.99 - Sale!
Design Basics (9th Edition)
$19.99 - Sale!
Effective strategies for academic writing: essay, paper, thesis, journal article, bachelor, master, phd (1st Edition)
$19.99
Reviews
There are no reviews yet.