Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems
By: Bowman, Howard.
Contributor(s): Gomez, Rodolf.
Material type:
BookPublisher: London: Springer, 2006Description: xxiv, 435 p.; ill.: 24 cm.ISBN: 1852338954 .Subject(s): Calculus -- Computer programs | Machine theory | Mathematical models | Multitasking (Computer science) | Synchronous data transmission systemsDDC classification: 004.015113
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.015113 BOW (Browse shelf) | Available | 013952 |
Browsing DAIICT Shelves Close shelf browser
| 004.0151 YAN Introduction to formal languages and machine computation | 004.01511 HEI Discrete structures, logic, and computability | 004.015113 BER Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions | 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 |
There are no comments for this item.