Name: Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Brand: Springer-Verlag GmbH
SKU: ID12470687
Availability: InStock

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

53.49 EUR

Ein kompakter Leitfaden aus der 13. FORMATS‑Konferenz, der die neuesten Theorien zur Modellierung zeitabhängiger Systeme zusammenfasst und praxisnahe Analysewerkzeuge für Echtzeitanwendungen vorstellt.

Marke: Springer-Verlag GmbH

ISBN: 3319229745

MPN: 90 black & white illustrations, biograph

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Formal Modeling and Analysis of Timed Systems

SpringerLink DE

53.49 EUR 53.49 EUR

29-05-2026 15:13:31

Access to the deal

Gesponsert Formal Modeling and Analysis of Timed Systems, Fachbücher von Enrico Vicario, Sriram Sankaranarayanan

Galaxus.de

53.49 EUR 53.49 EUR

29-05-2026 10:51:33

Access to the deal

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Gesponsert Formal Modeling and Analysis of Timed Systems

Gesponsert Formal Modeling and Analysis of Timed Systems, Fachbücher von Enrico Vicario, Sriram Sankaranarayanan

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Gesponsert Formal Modeling and Analysis of Timed Systems

Gesponsert Formal Modeling and Analysis of Timed Systems, Fachbücher von Enrico Vicario, Sriram Sankaranarayanan

Ähnliche Produkte

Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems