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
Post a Comment
Hello
Terms of Service:
1 / not to publish text links
2 / not attacking anyone with bad words