Logic in computer science: Michael Huth modelling and reasoning about systems
Material type: TextPublication details: Cambridge University Press, New York. 2010Edition: 2nd edDescription: xiv, 427p. 24 cmISBN:- 9780521670890
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Goa University Library General Stacks 2 | 005.101 HUT/RYA (Browse shelf(Opens below)) | Available | 136838 |
Include bibliographical references and Index.
There are no comments on this title.
Log in to your account to post a comment.