Kniha momentálne nie je na sklade
Parametre
Nákup knihy
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking, Marc Diefenbruch
- Jazyk
- Rok vydania
- 1997
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.