Logic in computer science: modelling and reasoning about systems
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library | 005.1015113 HUT(LOG) (Browse shelf(Opens below)) | 1 | Available | 8731 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
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 NER(LOG) Logic for applications : second edition | 005.1015115 JEN(COL) Coloured Petri nets: modelling and validation of concurrent systems | 005.1023 FOW(PAS) The Passionate Programmer: creating a remarkable career in software development |
MD/1/0530/2009-10/23-09-09
There are no comments on this title.