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. 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
Free Soft
Published:
2013-11-11T03:03:00-08:00
Title: Programming from Specifications
Rating:
5 On
22 reviews
