Author | Manna, Zohar |
---|---|
Title | The logical basis for computer programming / Zohar Manna, Richard Waldinger |
Imprint | Reading, Mass. : Addison-Wesley, 1985 |
Descript | 2 v. ; 24 cm |
v.1 Deductive reasoning -- v.2 Deductive systems
LOCATION | CALL# | STATUS |
---|---|---|
Science Library : Closed Shelf | QA76.6 L832m 1985 | CHECK SHELVES |
Science Library : Closed Shelf | QA76.6 L832m 1990 | CHECK SHELVES |