The book is currently out of stock
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
Authors
Book variant
1997Book purchase
The book is currently out of stock.
1997We have over a million books in stock
1997