Programming from Specifications
- 1998
- 322 pages
Opens the author, publisher or archive page. FreeTechBooks does not host the file.
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.