Program Proofs, Leino, K. Rustan M., Excellent Book
Program Proofs, Leino, K. Rustan M., Excellent Book
USD 36.72 USD
Specifications
| ISBN | 9780262546232 |
| Subject Area | Mathematics, Computers |
| Publication Name | Program Proofs |
| Publisher | MIT Press |
| Item Length | 9 in |
| Publication Year | 2023 |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Item Height | 1 in |
| Author | K. Rustan M. Leino |
| Item Weight | 27.1 Oz |
| Item Width | 7 in |
| Number Of Pages | 496 Pages |
Authors : Leino, K. Rustan M. Program Proofs. Title : Program Proofs. Product Category : Books. Binding : paperback. LIKE NEW! Has a red or black remainder mark on bottom/exterior edge of pages. List Price (MSRP) : 70.00.