We have identified 2 identical or similar edtions of the book Formal Modeling and Analysis of Timed Systems!

If you are interested in only one specific edtion select the one you are interested in:

Formal Modeling and Analysis of Timed Systems100%: Alessandro Abate, Gilles Geeraerts: Formal Modeling and Analysis of Timed Systems (ISBN: 9783319657653) 2017, in english, Paperback.
Show only this edition…
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, first edition, in english, hardcover.
Show only this edition…

Formal Modeling and Analysis of Timed Systems - compare 15 offers

Prices201720192021
Mean£ 50.79 ( 59.49)¹ £ 43.41 ( 50.85)¹ south_east£ 49.58 ( 58.07)¹ north_east
Demandtrending_uptrending_down
Best price: £ 2.38 ( 2.79)¹ (from 03/26/2019)
1
9783319657646 - Herausgegeben von Abate, Alessandro Geeraerts, Gilles: Formal Modeling and Analysis of Timed Systems
Herausgegeben von Abate, Alessandro Geeraerts, Gillessearch

Formal Modeling and Analysis of Timed Systems (2017)search

Delivery from: Germany ~EN PB NW

ISBN: 9783319657646search or 331965764X, probably in english, Springer, Berlin Springer International Publishing, Paperback, New.

£ 43.53 ( 50.99)¹ thumb_up
free shipping, without obligation
Shipping costs to: Germany, Free shipping.
From Seller/Antiquarian, 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 Geeraertssearch

Formal Modeling and Analysis of Timed Systems (2017)search

Delivery from: Germany ~EN PB NW

ISBN: 9783319657646search or 331965764X, probably in english, Springer Shop, Paperback, New.

£ 59.37 ( 69.54)¹ thumb_up
free shipping, without obligation
In Stock.
From Seller/Antiquarian.
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 Geeraertssearch

Formal Modeling and Analysis of Timed Systems (2017)search

Delivery from: United Kingdom of Great Britain and Northern Ireland DE NW EB DL

ISBN: 9783319657653search or 3319657658, in german, Springer Shop, New, ebook, digital download.

£ 33.26 ($ 43.99)¹ thumb_up
without obligation
In Stock, plus shipping.
From Seller/Antiquarian.
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
Symbol
Herausgegeben von Abate, Alessandro; Geeraerts, Gillessearch

Formal Modeling and Analysis of Timed Systemssearch

Delivery from: Germany DE HC NW

ISBN: 9783319657646search or 331965764X, in german, Springer, Berlin; Springer International Publishing, hardcover, New.

£ 52.98 ( 62.06)¹ thumb_up
free shipping, without obligation
Free shipping innerhalb von Germany.
From Seller/Antiquarian.
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 Abatesearch

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

Delivery from: Germany DE NW EB DL

ISBN: 9783319657653search or 3319657658, in german, Springer International Publishing, New, ebook, digital download.

£ 53.14 ( 62.24)¹ thumb_up
free shipping, without obligation
Free shipping.
From Seller/Antiquarian.
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
Symbol
Alessandro Abate, Gilles Geeraertssearch

Formal Modeling and Analysis of Timed Systems (2017)search

Delivery from: France DE NW EB DL

ISBN: 9783319657653search or 3319657658, in german, Springer, Springer, Springer, New, ebook, digital download.

£ 46.20 ( 54.11)¹ thumb_up
free shipping, without obligation
in-stock.
From Seller/Antiquarian.
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.)search

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)search

Delivery from: Germany ~EN PB NW

ISBN: 9783319657646search or 331965764X, probably in english, 353 pages, Springer Springer International Publishing Springer, Berlin, Paperback, New.

£ 59.37 ( 69.54)¹ thumb_up
free shipping, without obligation
Shipping costs to: Germany, Free shipping.
From Seller/Antiquarian, 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
Symbol
Alessandro Abate, Gilles Geeraertssearch

Formal Modeling and Analysis of Timed Systems (2017)search

Delivery from: Germany DE NW EB DL

ISBN: 9783319657653search or 3319657658, in german, Springer, Springer, Springer, New, ebook, digital download.

£ 50.79 ( 59.49)¹ thumb_up
free shipping, without obligation
in-stock.
From Seller/Antiquarian.
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
Symbol
Abate, Alessandro (Editor)/ Geeraerts, Gilles (Editor)search

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

Delivery from: United Kingdom of Great Britain and Northern Ireland ~EN PB NW

ISBN: 9783319657646search or 331965764X, probably in english, Springer-Verlag New York Inc, Paperback, New.

£ 88.74 ($ 125.94)¹ thumbs_up_down + Shipping: £ 10.23 ($ 14.51)¹ = £ 98.97 ($ 140.45)¹
without obligation
Shipping costs to: DEU.
From Seller/Antiquarian, 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)search

Delivery from: Germany DE PB NW

ISBN: 9783319657653search or 3319657658, in german, Paperback, New.

£ 60.61 ( 70.99)¹ thumbs_up_down + Shipping: £ 6.40 ( 7.50)¹ = £ 67.01 ( 78.49)¹
without obligation
From Seller/Antiquarian.
Low quality or foreign language description. Show it