Normal view MARC view ISBD view

The logical basis for computer programming /

Manna, Zohar.

The logical basis for computer programming / Zohar Manna, Richard Waldinger. - Reading, Mass. : Addison-Wesley, c1985-c1990. - 2 v. : ill. ; 25 cm. - Addison-Wesley series in computer science .

AR Mesa (Recommending faculty) AY2017-2018

Includes bibliographies and indexes.

v. 1. Deductive reasoning -- v. 2 Deductive systems.

ISBN: 0201182602 (v. 1) : 0201182610 (v. 2)

LCCN: 84020346

Subjects--Topical Terms:
Computer programming.
Logic, Symbolic and mathematical.

Index Terms--Curriculum Objective:
Discrete mathematical structures in computer science I--CMSC 56
Discrete mathematical structures in computer science II--CMSC 57

LC Class. No.: QA76.6 / .M35595 1985

Dewey Class. No.: 519.7

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)