Logic in computer science modelling and reasoning about systems
Material type: TextPublication details: New York ; Cambridge University Press ; 2004Edition: 2Description: 427ISBN: 052154310XSubject(s): Computer logic. Logic programming (Computer science)Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3.06 HUT (Browse shelf (Opens below)) | Available | 52635 |
There are no comments on this title.