The logical basis for computer programming / Zohar Manna, Richard Waldinger.
Material type: TextSeries: Addison-Wesley series in computer sciencePublication details: Reading, Mass: Addison-Wesley, c1985-c1990.Description: x, 642p. : ill. ; 25 cmISBN:- 0201182602 (v. 1) :
- 0201182610 (v. 2)
- 519.7 19
- QA 76.6 .M35595 1985
Contents:
v. 1. Deductive reasoning -- v. 2 Deductive systems.
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Informatics and Virtual Education Library Collection General Collection | QA76.6 .M35595 1985 (Browse shelf(Opens below)) | Available | 1880 |
Includes bibliographies and indexes.
v. 1. Deductive reasoning -- v. 2 Deductive systems.
There are no comments on this title.
Log in to your account to post a comment.