Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
8 Angebote vergleichen
Bester Preis: Fr. 49.86 (€ 50.99)¹ (vom 27.02.2021)1
Formal Modeling and Analysis of Timed Systems (2017)
~EN PB NWISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer, Berlin Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
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).
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).
2
Formal Modeling and Analysis of Timed Systems (2017)
~EN PB NWISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
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.
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.
3
Symbolbild
Formal Modeling and Analysis of Timed Systems
DE HC NWISBN: 9783319657646 bzw. 331965764X, in Deutsch, Springer, Berlin; Springer International Publishing, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei innerhalb von Deutschland.
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.
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.
4
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)
~EN PB NWISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, 353 Seiten, Springer Springer International Publishing Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
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.
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.
5
Symbolbild
Formal Modeling and Analysis of Timed Systems: 15th International Conference, Proceedings (2017)
~EN PB NWISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer-Verlag New York Inc, Taschenbuch, neu.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Versandkosten nach: DEU.
Von Händler/Antiquariat, Revaluation Books.
Springer-Verlag New York Inc, 2017. Paperback. New. 9.25x6.10 inches.
Von Händler/Antiquariat, Revaluation Books.
Springer-Verlag New York Inc, 2017. Paperback. New. 9.25x6.10 inches.
6
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings (Lecture Notes in Computer Science) (2017)
EN PB NW FEISBN: 9783319657646 bzw. 331965764X, in Englisch, 353 Seiten, Springer, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Deutschland, Noch nicht erschienen. Versandkostenfrei.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Formal Modeling and Analysis of Timed Systems (2017)
~EN PB NWISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei in der BRD, Versand in 10-14 Tagen.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (2017)
~EN NWISBN: 331965764X bzw. 9783319657646, vermutlich in Englisch, Springer International Publishing; Springer International Publishing AG, neu.
Von Händler/Antiquariat, MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…