The book is currently out of stock
Parameters
Book purchase
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking, Marc Diefenbruch
- Language
- Released
- 1997
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.