Image from Amazon.com
Logic in computer science: modelling and reasoning about systems / Michael Huth, and Mark Ryan.
Material type:
TextPublication details: New York : Cambridge University Press, 2004.Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN: - 9780521670890 (pbk.)
- 005.1015113 HUT
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books
|
H.T. Parekh Library | SIAS Collection | 005.1015113 HUT (Browse shelf(Opens below)) | Available | K19459 |
Browsing H.T. Parekh Library shelves,Collection: SIAS Collection Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1 SIN Software testing / | 005.1 VAZ Approximation algorithms / | 005.1015113 FRI Little typer / | 005.1015113 HUT Logic in computer science: modelling and reasoning about systems / | 005.117 FOR C++ programming: an object-oriented approach / | 005.117 HAL Adaptive code: agile coding with design patterns and SOLID principles / | 005.13 COR Introduction to algorithms / |
There are no comments on this title.
Log in to your account to post a comment.