A rescued public library · 1,230 legally free books

FreeTechBooks.org

Formal Methods

Programming from Specifications

  • 1998
  • 322 pages

Opens the author, publisher or archive page. FreeTechBooks does not host the file.

Cover of Programming from Specifications

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

Bibliographic record recovered from the original FreeTechBooks listing. View archived source.

About the author