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 |
This book is having Bibliographic notes.
There are no comments on this title.