Logic in computer science: modelling and reasoning about systems
Material type: TextLanguage: English Series: Publication details: Cambridge University Press 2005 Edition: Description: 427pISBN: 9780521670890 (PB)Subject(s): COMPUTER LOGIC | LOGIC PROGRAMMING – COMPUTERDDC classification: 005.1015113 HUT(LOG)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 005.1015113 HUT(LOG) (Browse shelf(Opens below)) | 1 | Available | 8729 |
Total holds: 0
MD/1/0530/2009-10/23-09-09
There are no comments on this title.