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