Logic in Computer Science: modeling and reasoning about systems Michael Huth
Material type:
TextPublication details: London Cambridge University Press 2005Edition: 2nd edDescription: xiv, 427pISBN: 0521670896Subject(s): Logic -Computer ScienceDDC classification: 005.115 HUT
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
TEXT BOOK
|
LRC_JUIT Computer Science & Engineering | TEXTBOOK SECTION | 005.115 HUT (Browse shelf (Opens below)) | Copy 1 | Available | 012453 | ||
REFERENCE BOOK
|
LRC_JUIT Computer Science & Engineering | REFERENCE SECTION | REF 005.115 HUT (Browse shelf (Opens below)) | Copy 2 | Not for loan | 015273 | ||
|
TEXT BOOK
|
LRC_JUIT Computer Science & Engineering | TEXTBOOK SECTION | 005.115 HUT (Browse shelf (Opens below)) | Copy 3 | Available | 016629 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Computer Science & Engineering, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 005.10685 TIA Software Quality Engineering: testing, quality assurance and quantifiable improvement | REF 005.114 BIR Introduction to Functional Programming using Haskell | REF 005.114 HAR F# for Scientists | REF 005.115 HUT Logic in Computer Science: modeling and reasoning about systems | REF 005.115 YUA Constraint-Based Verification | REF 005.117 BER UML-B Specification for Proven Embedded Systems Design | REF 005.117 BOO Unified Modelling Language User Guide |
There are no comments on this title.