Concurrency theory calculi and automata for modelling untimed and timed concurrent systems
Saved in:
| Format | Book |
|---|---|
| Language | English |
| Published |
London :
Springer,
2006
|
| Subjects | |
| Online Access | Full text |
| ISBN | 9781852338954 978-1-84628-336-9 |
| DOI | 10.1007/1-84628-336-1 |
| Physical Description | 435 s. : il. |
Cover
| LEADER | 00000cam a2200000 4500 | ||
|---|---|---|---|
| 001 | 50927 | ||
| 003 | CZ-ZlUTB | ||
| 005 | 20251006165656.0 | ||
| 006 | m-----o--d-------- | ||
| 007 | cr-|n- | ||
| 008 | 041125s2006 xxk | u eng d | ||
| 999 | |c 50927 |d 50927 | ||
| 020 | |a 9781852338954 | ||
| 020 | |a 978-1-84628-336-9 | ||
| 024 | 7 | |a 10.1007/1-84628-336-1 |2 doi | |
| 040 | |a DDB |b cze |d ZLD002 |d SzZuIDS NEBIS ETH-BIB | ||
| 072 | 7 | |a 004.4/.6 |x Programování. Software |2 Konspekt |9 23 | |
| 080 | |a 531.8 |2 MRF | ||
| 080 | |a 004.42.032.24 |2 MRF | ||
| 080 | |a 004.41 |2 MRF | ||
| 245 | 0 | 0 | |a Concurrency theory |h [elektronický zdroj] : |b calculi and automata for modelling untimed and timed concurrent systems / |c Howard Bowman, Rodolfo Gomez |
| 260 | |a London : |b Springer, |c 2006 | ||
| 300 | |a 435 s. : |b il. | ||
| 500 | |a Obsahuje rejstřík. | ||
| 538 | |a Způsob přístupu: WWW | ||
| 650 | 0 | 7 | |a softwarové inženýrství |7 ph125825 |2 czenas |
| 650 | 0 | 7 | |a paralelní programování |7 ph115669 |2 czenas |
| 650 | 0 | 7 | |a teorie strojů |7 ph135434 |2 czenas |
| 655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
| 856 | 4 | 1 | |u https://proxy.k.utb.cz/login?url=https://doi.org/10.1007/1-84628-336-1 |
| 910 | |a ZLD002 | ||
| 942 | |2 udc | ||
| 992 | |a ER |c SPRINGER | ||
| 993 | |x NEPOSILAT |y EIZ | ||