Couldn't load pickup availability
Estimated Delivery: Oct 28 – Nov 01
Order today — dispatched within 1 business day
Secure Payment
Quality Checked
Fast Delivery
Secure Checkout
Easy Support
Author
K. Rustan M. Leino
ISBN
9780262546232
Publication date
2023-03-07
Binding
Paperback
About this edition
K. Rustan M. Leino introduces formal reasoning about programs using the verification-aware language Dafny.
Program Proofs explains how specifications describe intended behaviour and how proofs connect those specifications with programs. It develops the ideas incrementally from basic reasoning to objects, data structures and recursion.
Examples use Dafny without assuming previous knowledge of the language. The text is intended to build practical understanding of program verification, rather than provide a guarantee that arbitrary software is correct.
What's included
More details
Title: Program Proofs
Authors: K. Rustan M. Leino
ISBN: 9780262546232
Binding: Paperback
Language: English
Pages: 496
Publication date: 2023-03-07
Number of books: 1
Weight (packed): 1.67 pounds
Dimensions (packed): 8.94 x 7.01 x 1.02 inches
Publisher: The MIT Press
Shipping and returns
Ships in 1 Business Day
Reader-loved collections
Find your next world.
Five favorite shelves. So many places to begin.
Shipping
In-stock orders ship in 1–2 business days.
Click Here for more info.
30 Day Returns
Enjoy Hassle-Free 30 day Returns & Exchanges
Top-notch support
Email us for help with an order.
info@thelimitlesschapters.com
Secure payments
All payments are secured using latest SSL Encryption.