Von dem Buch Formal Modeling and Analysis of Timed Systems haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!

Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:

Formal Modeling and Analysis of Timed Systems100%: Alessandro Abate, Gilles Geeraerts: Formal Modeling and Analysis of Timed Systems (ISBN: 9783319657653) 2017, in Englisch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings85%: Abate, Alessandro (Herausgeber); Geeraerts, Gilles (Herausgeber): Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (ISBN: 9783319657646) 2017, Erstausgabe, in Englisch, Broschiert.
Nur diese Ausgabe anzeigen…

Formal Modeling and Analysis of Timed Systems - 15 Angebote vergleichen

Preise201720192021
SchnittFr. 58.37 ( 59.49)¹ Fr. 49.89 ( 50.85)¹ Fr. 56.97 ( 58.07)¹
Nachfrage
Bester Preis: Fr. 2.74 ( 2.79)¹ (vom 27.03.2019)
1
9783319657646 - Herausgegeben von Abate, Alessandro Geeraerts, Gilles: Formal Modeling and Analysis of Timed Systems
Herausgegeben von Abate, Alessandro Geeraerts, Gilles

Formal Modeling and Analysis of Timed Systems (2017)

Lieferung erfolgt aus/von: Deutschland ~EN PB NW

ISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer, Berlin Springer International Publishing, Taschenbuch, neu.

Fr. 50.03 ( 50.99)¹
versandkostenfrei, unverbindlich
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).
2
9783319657646 - Alessandro Abate; Gilles Geeraerts: Formal Modeling and Analysis of Timed Systems
Alessandro Abate; Gilles Geeraerts

Formal Modeling and Analysis of Timed Systems (2017)

Lieferung erfolgt aus/von: Deutschland ~EN PB NW

ISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.

Fr. 68.23 ( 69.54)¹
versandkostenfrei, unverbindlich
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.
3
9783319657653 - Alessandro Abate; Gilles Geeraerts: Formal Modeling and Analysis of Timed Systems
Alessandro Abate; Gilles Geeraerts

Formal Modeling and Analysis of Timed Systems (2017)

Lieferung erfolgt aus/von: Vereinigtes Königreich Grossbritannien und Nordirland DE NW EB DL

ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.

Fr. 38.22 ($ 43.99)¹
unverbindlich
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Lagernd, zzgl. Versandkosten.
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.
4
9783319657646 - Herausgegeben von Abate, Alessandro; Geeraerts, Gilles: Formal Modeling and Analysis of Timed Systems
Symbolbild
Herausgegeben von Abate, Alessandro; Geeraerts, Gilles

Formal Modeling and Analysis of Timed Systems

Lieferung erfolgt aus/von: Deutschland DE HC NW

ISBN: 9783319657646 bzw. 331965764X, in Deutsch, Springer, Berlin; Springer International Publishing, gebundenes Buch, neu.

Fr. 60.89 ( 62.06)¹
versandkostenfrei, unverbindlich
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.
5
9783319657653 - Alessandro Abate: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Alessandro Abate

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

Lieferung erfolgt aus/von: Deutschland DE NW EB DL

ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer International Publishing, neu, E-Book, elektronischer Download.

Fr. 61.06 ( 62.24)¹
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, Versandkostenfrei.
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.
6
9783319657653 - Alessandro Abate, Gilles Geeraerts: Formal Modeling and Analysis of Timed Systems
Symbolbild
Alessandro Abate, Gilles Geeraerts

Formal Modeling and Analysis of Timed Systems (2017)

Lieferung erfolgt aus/von: Frankreich DE NW EB DL

ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.

Fr. 53.09 ( 54.11)¹
versandkostenfrei, unverbindlich
Lieferung aus: Frankreich, in-stock.
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.
7
9783319657646 - Abate, Alessandro / Abate, Alessandro (Hrsg.) / Geeraerts, Gilles / Geeraerts, Gilles (Hrsg.): Lecture Notes in Computer Science: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Abate, Alessandro / Abate, Alessandro (Hrsg.) / Geeraerts, Gilles / Geeraerts, Gilles (Hrsg.)

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)

Lieferung erfolgt aus/von: Deutschland ~EN PB NW

ISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, 353 Seiten, Springer Springer International Publishing Springer, Berlin, Taschenbuch, neu.

Fr. 68.23 ( 69.54)¹
versandkostenfrei, unverbindlich
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.
8
9783319657653 - Alessandro Abate, Gilles Geeraerts: Formal Modeling and Analysis of Timed Systems
Symbolbild
Alessandro Abate, Gilles Geeraerts

Formal Modeling and Analysis of Timed Systems (2017)

Lieferung erfolgt aus/von: Deutschland DE NW EB DL

ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.

Fr. 58.37 ( 59.49)¹
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, in-stock.
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.
9
9783319657646 - Abate, Alessandro (Editor)/ Geeraerts, Gilles (Editor): Formal Modeling and Analysis of Timed Systems: 15th International Conference, Proceedings
Symbolbild
Abate, Alessandro (Editor)/ Geeraerts, Gilles (Editor)

Formal Modeling and Analysis of Timed Systems: 15th International Conference, Proceedings (2017)

Lieferung erfolgt aus/von: Vereinigtes Königreich Grossbritannien und Nordirland ~EN PB NW

ISBN: 9783319657646 bzw. 331965764X, vermutlich in Englisch, Springer-Verlag New York Inc, Taschenbuch, neu.

Fr. 101.99 ($ 125.94)¹ + Versand: Fr. 11.75 ($ 14.51)¹ = Fr. 113.74 ($ 140.45)¹
unverbindlich
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.
10
9783319657653 - Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems (2017)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Taschenbuch, neu.

Fr. 69.65 ( 70.99)¹ + Versand: Fr. 7.36 ( 7.50)¹ = Fr. 77.01 ( 78.49)¹
unverbindlich
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…