Programming from Specifications

Programming from Specifications

Programming from Specifications presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement.

Use the following url to access the free ebook Programming from Specifications .
http://web.comlab.ox.ac.uk/oucl/publications/books/PfS/