Program Proofs
Language: English
Published by The MIT Press, 2023
- Softcover
- Used
Seller: Roundabout Books, Greenfield, MA, U.S.A.Roundabout Books
AbeBooks seller since May 24, 2012
Association member: SNEAB
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.
Roundabout Books
Greenfield, MA, U.S.A.
Shipping rates within U.S.A.
| Item | 5 to 10 business days | 3 to 5 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 19.90 |
Payment methods
Store description
Roundabout Books is a bookstore for book people: an independent, locally-owned bookstore in the Pioneer Valley of Western Massachusetts. Our physical shop is located in the old Diamond-Electric Soap Factory at 85 Pierce Street, just two blocks off Federal Street in Greenfield. We offer an extensive, organized, and thoughtful collection of used and new books at excellent prices. We hope you will find our store welcoming and that our love of books shows through in our work. If you are here in-person, come wander and browse an expansive collection of all genres, including poetry, science, history, literature in translation, and university presses. Enjoy our historic industrial building transformed, and envisioned as accessible and environmentally sustainable for the future. Please stop in or give us a call if you have questions for us!…
Specialty
used and vintageAssociation member
Seller's business information
Roundabout Books, Inc.
16 West St.
Greenfield, MA U.S.A. 01301
Terms of sale
We guarantee the condition of every book as it's described
on the Abebooks web sites. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the Ask
bookseller a question link to contact us and we'll respond
within 2 business days.
Shipping terms
Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact
you to let you know extra shipping is required.