Logic in Computer Science : Modelling and Reasoning about Systems / Michael Huth, Mark Ryan.
Material type: TextPublication details: UK : Cambridge University Press, c2004. Edition: 2nd edDescription: xiii, 427 p.: illISBN: 0521670896DDC classification: 004.0151Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Reference Books | Don Bosco Institute of Technology Library Reference | Computer Science | 005.1015113 HUT/LOG (Browse shelf(Opens below)) | Not for loan | 7419 |
Browsing Don Bosco Institute of Technology Library shelves, Shelving location: Reference, Collection: Computer Science Close shelf browser (Hides shelf browser)
005.1 RAJ/COM Computer Programming In Pascal | 005.1 SCH/OBJ Object-Oriented And Classical Software Engineering | 005.1 SOF/KEY Software Engineering Handbook | 005.1015113 HUT/LOG Logic in Computer Science : Modelling and Reasoning about Systems / | 005.102462 BUC/SOF Software Development for Engineers : with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript and Java / | 005.1068 HUM/MAN Managing the Software Process | 005.10684 SIM/SOF Software Measurement : A Visualization Toolkit for Project Control andf Process Improvement/ |
This book is having Bibliographic notes.
There are no comments on this title.