Knihu momentálně nemáme skladem
Formal methods for the design of real time systems
Autoři
Parametry
Nákup knihy
Formal methods for the design of real time systems, Marco Bernardo
- Jazyk
- Rok vydání
- 2004
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- Formal methods for the design of real time systems
- Jazyk
- anglicky
- Autoři
- Marco Bernardo
- Vydavatel
- Springer
- Rok vydání
- 2004
- ISBN10
- 3540230688
- ISBN13
- 9783540230687
- Série
- Lecture notes in computer science
- Kategorie
- Počítače, IT, programování