Logic in Computer Science : Modelling and Reasoning about System / Michel Huth
Publisher: New York Cambridge Universty 2004Edition: 2nd edDescription: XIII, 418ISBN: 978-05-2154310-1DDC classification: 005.1,HUT
Contents:
Propositional Logic (Page-1), Predicate Logic (Page-93), Verification by model Checking (Page-172), Program Verification (Page-256), Model Logic and Agents (Page-304), Binary Decision Diagrams (Page-358),
| 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 | MCS36765 |
Total holds: 0
Propositional Logic (Page-1), Predicate Logic (Page-93), Verification by model Checking (Page-172), Program Verification (Page-256), Model Logic and Agents (Page-304), Binary Decision Diagrams (Page-358),
Click on an image to view it in the image viewer
There are no comments on this title.