Handbook of logic and proof techniques for computer science / Steven G. Krantz.
Material type: TextPublication details: Boston : New York : Birkhauser ; Springer, 2002Description: xix, 245 p. ; 24 cmISBN: 081764220X (hbk.); 9780817642204 (hbk.)Subject(s): Computers | Electronic data processingDDC classification: 004 LOC classification: QA76 | .K73 2002Online resources: Publisher description | Table of contents onlyItem type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Staff Circulation | APU Library Open Shelf | Book | QA76 .K73 2002 c.1 (Browse shelf (Opens below)) | 1 | Available (No use restrictions) | 00000701 | |
General Circulation | APU Library Open Shelf | Book | QA76 .K73 2002 c.2 (Browse shelf (Opens below)) | 2 | Available (No use restrictions) | 00000702 |
Browsing APU Library shelves, Shelving location: Open Shelf, Collection: Book Close shelf browser (Hides shelf browser)
QA76.J38 H67 2000 c.6 Computing concepts with Java 2 essentials / | QA76.K262 K36 2002 c.1 An introduction to computer science using Java / | QA76.K262 K36 2002 c.2 An introduction to computer science using Java / | QA76 .K73 2002 c.1 Handbook of logic and proof techniques for computer science / | QA76 .K73 2002 c.2 Handbook of logic and proof techniques for computer science / | QA76 .L33 1991 c.1 Understanding computer systems architecture / | QA76 .L33 1991 c.2 Understanding computer systems architecture / |
Includes bibliographical references (p. 231-236) and index.
There are no comments on this title.