Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN: 052154310X (pbk.)Subject(s): Computer logic | Logic programmingDDC classification: 005.1,HUT Online resources: Publisher description | Sample text | Table of contents
Contents:
Propositional Logic (Pag-1), Predicate Logic (Page-91), Verification by Model Checking (Page-172), Program Verification (Page-254), Model Logic and Agents (Page-304),
| Item type | Current location | Home library | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | Reference | 005.1,HUT (Browse shelf) | Link to resource | Available | Almirah No.17, Shelf No.4 | MCS37090 |
Total holds: 0
Propositional Logic (Pag-1), Predicate Logic (Page-91), Verification by Model Checking (Page-172), Program Verification (Page-254), Model Logic and Agents (Page-304),
Click on an image to view it in the image viewer
There are no comments on this title.