Title:
Programming from specifications
Personal Author:
Edition:
2nd ed
Publication Information:
New York : Prentice-Hall, 1994
ISBN:
9780131232747
Subject Term:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000003117086 | QA76.6 M65 1994 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
Providing a thorough treatment of most elementary program 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.