| ISBN | 9780262546232 |
|---|---|
| Subject Area | Mathematics, Computers |
| Publication Name | Program Proofs |
| Publisher | MIT Press |
| Item Length | 9 in |
| Subject | Programming Languages / General, General, Programming / Microsoft, Compilers |
| 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 |
Check the listing for details. Program Proofs, Leino, K. Rustan M., Excellent Book. Condition: Like New. Listed at 36.72 USD. 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.
You may also like
$13.23
Storytelling with Data : A Data Visualization Guide for Business
$19
ACSM's Guidelines for Exercise Testing and Prescription
$52.24
Rheumatology Secrets
$3.88
James Herriot's Cat Stories - Hardcover By James Herriot - GOOD
$5.21
Princeton Review AP Chemistry Premium Prep, 25th Edition: 7 Practice Test - GOOD
$9.9
NFPA 70 NEC Index Tab 2026 Self-Adhesive National Electrical Code NEC USA Stock
$86.47
Engineering Mechanics: Dynamics - Hardcover, by Hibbeler Russell - Acceptable n
$4.35
The Green Pharmacy Guide to Healing Foods: Proven Natural Remedies to Tre - GOOD
$4.76
Unlocking Lyme: Myths, Truths, and Practical Solutions for Chronic Lyme - GOOD
$5.9
AA ALCOHOLICS ANONYMOUS BIG BOOK POCKET SIZE ABRIDGED 4TH EDITION RECOVERY ~ NEW
$3.88
The Library Book - Paperback By Orlean, Susan - VERY GOOD
$44.99
NFPA 70, National Electrical Code (NEC) 2026 Edition SPIRAL