Knihu momentálně nemáme skladem

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

Autoři

Marc Diefenbruch

Parametry

ISBN: 9783897220331
Nakladatelství: Logos-Verl.

Kategorie

Počítače, IT, programování

Navrhnout úpravu

Varianta knihy

1997

Nákup knihy

Kniha aktuálně není skladem.