Welcome to E-Books Directory
This is a freely downloadable e-book.

Programming from Specifications
by Carroll Morgan

Publisher: Prentice-Hall 1998
ISBN/ASIN: 0137262337
ISBN-13: 9780137262335
Number of pages: 260

Description:
Programming from Specifications presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement. The second edition retains the simple approach of the original: the integration of specification, development and coding, and the use of ordinary (classical) logic. Additions include more material on data refinement, a complete chapter on recursively defined types, and two further extended case studies.

Home page url

 Download or read it online here:

Download link

 (multiple PS files)