Cover Image

Programming from specifications

Providing a thorough treatment of most elementary programme development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic. This second editio...

Full description

Saved in:
Bibliographic Details
Main Author: Morgan, Carroll 1952-
Format: Book
Language:English
Published: New York Prentice Hall 1994
Edition:2nd ed.
Series:Prentice Hall international series in computer science
Subjects:
Computer programming
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items