Das Buch ist derzeit nicht auf Lager
Parameter
Buchkauf
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking, Marc Diefenbruch
- Sprache
- Erscheinungsdatum
- 1997
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Keiner hat bisher bewertet.