Logic in computer science : modelling and reasoning about systems / by M. Huth & M. Ryan.
Material type: TextLanguage: English Publication details: Cambridge : Cambridge University Press, 2011.Edition: 2nd edDescription: xiv, 427 p. 25 cmISBN:- 9780521670890 (pbk)
- 005.1015113 HUT/L
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
005.1015113 HUT/L Logic in computer science : modelling and reasoning about systems / | 005.1015113 HUT/L Logic in computer science : modelling and reasoning about systems / | 005.1015113 HUT/L Logic in computer science : modelling and reasoning about systems / | 005.1015113 HUT/L Logic in computer science : modelling and reasoning about systems / | 005.1015113 HUT/L Logic in computer science : modelling and reasoning about systems / | 005.1015113 HUT/L Logic in computer science : modelling and reasoning about systems / | 005.1015113 HUT/L Logic in computer science : modelling and reasoning about systems / |
There are no comments on this title.
Log in to your account to post a comment.