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, 2004Edition: 2nd edDescription: xiv, 427 p. : illISBN:- 052154310X (pbk.)
- 681.3.062 HUT
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | School of Engineering | 681.3.062 HUT (Browse shelf(Opens below)) | Available | SE27287 |
Includes bibliographical references (p. 414-417) and index.
There are no comments on this title.