Logic in Computer Science : Modelling and Reasoning about Systems / Michael Huth, Mark Ryan.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
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.