Image from Amazon.com
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Material type:
TextPublication details: Cambridge [U.K.] : Cambridge University Press, 2004.Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN: - 052154310X (pbk.)
- 9780521543101
- 005.101 22
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books - Open Access
|
Jinja Campus | 005.101 H UT (Browse shelf(Opens below)) | Available | 001110437 | |
|
Books - Open Access
|
Main Library - IDA Extension | 005.101 HUT (Browse shelf(Opens below)) | Available | 001137241 | |
|
Books - Open Access
|
Main Library - IDA Extension | 005.101 HUT (Browse shelf(Opens below)) | Available | 001137242 | |
|
Books - Open Access
|
Main Library - IDA Extension | 005.101 HUT (Browse shelf(Opens below)) | Available | 001137243 |
Includes bibliographical references (p. 414-417) and index.
There are no comments on this title.
Log in to your account to post a comment.