Logic in computer science : modelling and reasoning about systems
Material type: TextPublication details: Cambridge University Press 2007 Edition: 2Description: 427Subject(s): Computer logic | Logic programmingItem 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 | 6078 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
005.1015113 HSU(COM) Computer Logic: design principles and applications | 005.1015113 HSU(COM) Computer Logic: design principles and applications | 005.1015113 HUT(LOG) Logic in computer science: modelling and reasoning about systems | 005.1015113 HUT(LOG) Logic in computer science : modelling and reasoning about systems | 005.1015113 HUT(LOG) Logic in computer science : modelling and reasoning about systems | 005.1015113 HUT(LOG) Logic in computer science: modelling and reasoning about systems | 005.1015113 HUT(LOG) Logic in computer science: modelling and reasoning about systems |
0000167/21-04-09
There are no comments on this title.