Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Formal Modeling and Analysis of Timed Systems - 15 Angebote vergleichen
Preise | 2017 | 2019 | 2021 |
---|---|---|---|
Schnitt | Fr. 58.37 (€ 59.49)¹ | Fr. 49.89 (€ 50.85)¹ | Fr. 56.97 (€ 58.07)¹ |
Nachfrage |
Formal Modeling and Analysis of Timed Systems (2017)
ISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer, Berlin Springer International Publishing, Taschenbuch, neu.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017._ The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. 1st ed. 2017. 2017. x, 353 S. 93 SW-Abb. 235 mm Sofort lieferbar, Softcover, Neuware, Offene Rechnung (Vorkasse vorbehalten).
Formal Modeling and Analysis of Timed Systems (2017)
ISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. Soft cover.
Formal Modeling and Analysis of Timed Systems (2017)
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. eBook.
Formal Modeling and Analysis of Timed Systems
ISBN: 9783319657646 bzw. 331965764X, in Deutsch, Springer, Berlin; Springer International Publishing, gebundenes Buch, neu.
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. Lieferzeit 1-2 Werktage.
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (2017)
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer International Publishing, neu, E-Book, elektronischer Download.
Formal Modeling and Analysis of Timed Systems: This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. Englisch, Ebook.
Formal Modeling and Analysis of Timed Systems (2017)
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of.
Lecture Notes in Computer Science: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (2017)
ISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, 353 Seiten, Springer Springer International Publishing Springer, Berlin, Taschenbuch, neu.
Von Händler/Antiquariat, Syndikat Buchdienst, [4235284].
AUSFÜHRLICHERE BESCHREIBUNG: This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017._ pThe aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. /p INHALT: Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation. 2017, Taschenbuch / Paperback, Neuware, H: 234mm, B: 155mm, T: 19mm, 572g, 353, Internationaler Versand, Selbstabholung und Barzahlung, PayPal, Offene Rechnung, Banküberweisung.
Formal Modeling and Analysis of Timed Systems (2017)
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.
Formal Modeling and Analysis of Timed Systems: 15th International Conference, Proceedings (2017)
ISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer-Verlag New York Inc, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books.
Springer-Verlag New York Inc, 2017. Paperback. New. 9.25x6.10 inches.
Formal Modeling and Analysis of Timed Systems (2017)
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Taschenbuch, neu.