Formal Modeling and Analysis of Timed Systems

Ein umfassendes Werk aus der 13. FORMATS‑Konferenz in Madrid, das die neuesten theoretischen Ansätze zur Modellierung zeitabhängiger Systeme präs ...
Computer Science
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Modeling and Analysis of Timed Systems, Fachbücher von Enrico Vicario, Sriram Sankaranarayanan
Galaxus.de
53.49 EUR
Preis aktualisiert am: 28-07-2026 12:46:09
Siehe Produktangebot
Gesponsert
Formal Modeling and Analysis of Timed Systems
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 27-07-2026 20:00:35
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3319229745
MPN
Springer-Verlag GmbH 90 black & white illustrations, biograph

Eigenschaften

Ähnliche Produkte

Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Produkt anzeigen
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... Notes in Computer Science, 3253, Band 3253)
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... Notes in Computer Science, 3253, Band 3253)
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Produkt anzeigen
Menü