Logic in Computer Science Modelling and Reasoning about Systems
Material type: TextPublication details: New York Cambridge University Press 2005Edition: 2ndDescription: 427p. XIVISBN: 9780521670890Subject(s): Computer Logic | Reasoning, Modelling | Computer ScienceCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 HUTH (Browse shelf (Opens below)) | Paperback | Available | 72899 |
Paperback
There are no comments on this title.