Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
CD-DVDs | 004.015113 NEW (Browse shelf) | Available | C00946 | ||
Books | 004.015113 NEW (Browse shelf) | Available | 011408 |
004.015113 BOW Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems | 004.015113 HOM Automata theory and formal languages | 004.015113 NEW Automated theorem proving : theory and practice | 004.015113 NEW Automated theorem proving : theory and practice | 004.015113 SIM Theory of formal languages with applications | 004.015113 TAY Models of Computation and Formal Languages | 004.0151135 MIT Verifying cyber-physical systems : a path to safe autonomy |
There are no comments for this item.