Proving programs correct by Robert Brockett Anderson | Open Library (original) (raw)
It looks like you're offline.
Proving programs correct
Robert Brockett Anderson, Robe ...
Proving programs correct
×Close
Buy this book
Fetching prices
This edition doesn't have a description yet. Can you add one?
Buy this book
Fetching prices
Previews available in:English
Community Reviews (0)
No community reviews have been submitted for this work.
Lists
Loading Lists
Loading carousel
Failed to fetch carousel. Retry?
Loading carousel
Failed to fetch carousel. Retry?
Download catalog record:RDF /JSON /OPDS | Wikipedia citation
Copy and paste this code into your Wikipedia page. Need help?