Kniha momentálne nie je na sklade

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

Autori

Marc Diefenbruch

Parametre

ISBN: 9783897220331
Vydavateľstvo: Logos-Verl.

Kategórie

Počítače, IT, programovanie

Navrhnúť zmenu

Variant knihy

1997

Nákup knihy

Kniha momentálne nie je na sklade.