Das Buch ist derzeit nicht auf Lager

Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking

Autoren

Marc Diefenbruch

Parameter

ISBN: 9783897220331
Verlag: Logos-Verl.

Kategorien

Informatik & Programmierung

Deine Änderungsvorschläge

Buchvariante

1997

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.