Logic in computer science modelling and reasoning about systems
Material type:
TextPublication details: New York; Cambridge University Press; 2004.Edition: 2Description: 427ISBN: - 052154310X
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 681.3.06 HUT (Browse shelf(Opens below)) | Available | 52635 |
There are no comments on this title.
Log in to your account to post a comment.