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!
The Problems of Communitarian Politics: Unity and Conflict (1st Edition)
$19.99 - Sale!
The Psychology of Human Sexuality (2nd Edition)
$19.99 - Sale!
The Middleboro Casebook: Healthcare Strategies and Operations, Third Edition (1st Edition)
$19.99 - Sale!
Strategic Management and Competitive Advantage: Concepts and Cases (5th Edition) (5th Edition)
$19.99
Reviews
There are no reviews yet.