Knihu momentálně nemáme skladem
Parametry
Nákup knihy
Formal modeling and analysis of timed systems, Jean-François Raskin
- Jazyk
- Rok vydání
- 2007
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Formal modeling and analysis of timed systems
- Jazyk
- anglicky
- Autoři
- Jean-François Raskin
- Vydavatel
- Springer
- Vydavatel
- 2007
- Vazba
- měkká
- ISBN10
- 3540754539
- ISBN13
- 9783540754534
- Kategorie
- Počítače, IT, programování