Knihu momentálně nemáme skladem
Parametry
Nákup knihy
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking, Marc Diefenbruch
- Jazyk
- Rok vydání
- 1997
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.