Image from Amazon.com
Logic in Computer Science: modelling and Reasoning about Systems Mochael Huth [Text]
Material type:
TextLanguage: English Publication details: Cambridge Cambridge University Press 2005Edition: 2ndDescription: xiv, 427p.; 24CmISBN: - 9780521670890
- 005.115 HUT/L
| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
TEXT BOOK
|
CENTRAL LIBRARY | 005.115 HUT/L (Browse shelf(Opens below)) | 1 | Available | 020037 | 020037 | |||
|
TEXT BOOK
|
CENTRAL LIBRARY | 005.115 HUT/L (Browse shelf(Opens below)) | 2 | Available | 020038 | 020038 | |||
|
TEXT BOOK
|
CENTRAL LIBRARY | 005.115 HUT/L (Browse shelf(Opens below)) | 3 | Available | 020039 | 020039 | |||
|
TEXT BOOK
|
CENTRAL LIBRARY | 005.115 HUT/L (Browse shelf(Opens below)) | 4 | Available | 020040 | 020040 | |||
RESERVE BOOKS
|
CENTRAL LIBRARY | 005.115 HUT/L (Browse shelf(Opens below)) | 5 | Not For Loan | 020041 | 020041 | |||
|
TEXT BOOK
|
COMPUTER SCIENCE LIBRARY | COMPUTERSC | 005.115 HUT/L (Browse shelf(Opens below)) | 6 | Available | 020042 | 020042 |
Browsing COMPUTER SCIENCE LIBRARY shelves, Shelving location: COMPUTER SCIENCES & APPLICATION LIBRARY Close shelf browser (Hides shelf browser)
|
|
|
|
|
No cover image available |
|
||
| 005.1068 TSU/M Managing Software Projects | 005.1068 TSU/M Managing Software Projects | 005.10684 ROB Mastering the Requirements Process | 005.115 HUT/L Logic in Computer Science: modelling and Reasoning about Systems | 005.117 BLA/O Object-Oriented Modeling and Design with UML | 005.117 BRU/F Foundations of Object-Oriented Languages Types and Semantics | 005.117 DES Design Patterns :elements of reusable object-oriented software |
There are no comments on this title.
Log in to your account to post a comment.
