Record:   Prev Next
Author Manna, Zohar
Title The logical basis for computer programming / Zohar Manna, Richard Waldinger
Imprint Reading, Mass. : Addison-Wesley, c1985-c1990
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA76.6 M35595  v.1    AVAILABLE    30340200194797
 Inform. Sci. Books  D3.1 M281  V.1    AVAILABLE    30330000047618
Descript 2 v. : ill. ; 25 cm
Series Addison-Wesley series in computer science
Note Includes bibliographies and indexes
Volume I: Deductive reasoning
Subject Electronic digital computers -- Programming
Logic, Symbolic and mathematical
Programming technique iisf
Logic iisf
Deductive reasoning iisf
Alt Author Waldinger, Richard
Record:   Prev Next