Image from Amazon.com
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Material type:
TextPublication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004.Edition: 2nd editionDescription: xiv, 427 pages, illustrations, 25 cmISBN: - 052154310X (paperback)
- 005.1/01/5113 22
- QA76.9.L63 H88 2004
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
Book
|
Library | 005-2004 (Browse shelf(Opens below)) | Available | AT-ISTA#001945 |
Total holds: 0
Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005-2003 Cryptography an introduction | 005-2003 Test-driven development : by example / | 005-2004 Head First Design Patterns. | 005-2004 Logic in computer science : modelling and reasoning about systems / | 005-2004 Modern compiler implementation in ML / | 005-2005 SQL Cookbook | 005-2005 C in a Nutshell |
Includes bibliographical references (p. 414-417) and index.