What do you think?
Rate this book
The Correctness-by-Construction Approach to Programming
Introduction.- Background.- Simple Examples.- Intermediary Examples.- Procedures and Recursion.- Case Lattice Cover Graph Construction.- Case Study 2: Classifying MADFA Construction Algorithms.
280 pages, Paperback
First published January 1, 2012
9 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.