Computer-aided reasoning: an approach / Matt Kaufmann, Panagiotis Manolios and J Strother Moore.
Material type:
TextSeries: Advances in formal methods ; 3Publication details: Boston: Kluwer Academic Publishers, 2000Description: xv, 270 p. : 24 cmISBN: - 0-7923-7744-3
- QA76.9 .K38 2000
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Informatics and Virtual Education Library Collection General Collection | Non-fiction | QA76.9 K38 2000 (Browse shelf(Opens below)) | C.1 | Available | 1300 | ||
|
Books
|
Informatics and Virtual Education Library Collection General Collection | Non-fiction | QA76.9 K38 2000 (Browse shelf(Opens below)) | C.2 | Available | 1729 |
Browsing Informatics and Virtual Education Library Collection shelves, Shelving location: General Collection, Collection: Non-fiction Close shelf browser (Hides shelf browser)
| QA 76.9.J66 1998 Handbook of team design : a practitioner's guide to team systems development / | QA 76.9 .K37 2008 A textbook on : Fundamentals, data structures and problem solving/ | QA 76.9 .K37 2008 A textbook on : Fundamentals, data structures and problem solving/ | QA76.9 K38 2000 Computer-aided reasoning: an approach / | QA76.9 K38 2000 Computer-aided reasoning: an approach / | QA76.9 .K38 2002 Network security: private communication in a public world / | QA 76.9 .K45 2008 Systems analysis and design / |
Includes bibliographical references (p. [257]-259) and index.
There are no comments on this title.
Log in to your account to post a comment.