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 |
Browsing College of Science and Mathematics shelves, Shelving location: Regular Circulation Close shelf browser (Hides shelf browser)
|
|
|
No cover image available |
|
|
|
||
| QA39.2 .T67 1987 Discrete mathematics : applied combinatorics and graph theory / | QA76 F873 1996 Computer science | QA76 .P58 The nature of computation : an introduction to computer science / | QA76.6 .M35595 1985 The logical basis for computer programming / | QA76.7 .F75 1991 Comparative programming languages : generalizing the programming function / | QA76.7 .T83 2007 Programming languages : principles and paradigms / | QA76.73.P2 S28 1987 Pascal, an introduction to the art and science of programming / |
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.