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: 2 v. : ill. ; 25 cmISBN:- 0201182602 (v. 1) :
- 0201182610 (v. 2)
- 519.7 19
- QA76.6 .M35595 1985
Contents:
v. 1. Deductive reasoning -- v. 2 Deductive systems.
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book | University Library Regular Circulation | Regular Circulation | QA76.6 .M35595 1985 (Browse shelf(Opens below)) | Available | 3UPML00030945 |
AR Mesa (Recommending faculty) AY2017-2018
Includes bibliographies and indexes.
v. 1. Deductive reasoning -- v. 2 Deductive systems.
There are no comments on this title.