Program Proofs
Language: English
Published by The MIT Press, 2023
- Softcover
- Used
Seller: Boswell's Books, Shelburne Falls, MA, U.S.A.Boswell's Books
AbeBooks seller since February 5, 2026
Condition: Used - Near fine
US$ 19.61
Quantity: 1 available
Add to basketItem description from seller
Condition Notes: Excellent, unmarked copy with little wear and tight binding. We ship in recyclable American-made mailers. 100% money-back guarantee on all orders.
Seller Inventory # 1781911
- Title
- Program Proofs
- Author
- Leino, K. Rustan M.; Leino, Kaleb
- Publisher
- The MIT Press
- Publication year
- 2023
- Condition
- Near Fine
- Binding
- paperback
- Language
- English
- ISBN 10
- 026254623X
- ISBN 13
- 9780262546232
- Illustrator
- Leino, Kaleb
- Item weight
- 0.814 pounds
Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed.
- Written in a highly readable and student-friendly style
- Builds up to complex concepts in an incremental manner
- Comprehensively covers how to write proofs and how to specify and verify both functional programs and imperative programs
- Uses real program text from a real programming language, not psuedo code
- Features engaging illustrations and hands-on learning exercises
"Synopsis" may belong to another edition of this title.
About the Author
"About the title" may belong to another edition of this title.
Boswell's Books
Shelburne Falls, MA, U.S.A.
AbeBooks seller since February 5, 2026
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 6.50 |
Payment methods
Store description
A Shelburne Falls, Massachusetts, institution since 1991. We are committed to providing our community with an up-to-date and frequently refreshed selection of the best new and used books we can find. We are members of the New England Independent Booksellers Association (NEIBA), and we strive to meet the diverse needs of our community in Western Massachusetts. This includes stocking NEIBA's recommendations, NYT bestsellers, academic and university presses, and small, independent presses. Our staff also regularly makes purchasing recommendations, and we all work to stock the best used books we can find. You'll find our stock updated almost daily!…
Specialty
Used and NewSeller's business information
MA, U.S.A.