Formal Modeling and Analysis of Timed Systems - 7 Angebote vergleichen
Preise | 2017 | 2019 | 2021 |
---|---|---|---|
Schnitt | Fr. 58.18 (€ 59.49)¹ | Fr. 49.73 (€ 50.85)¹ | Fr. 56.79 (€ 58.07)¹ |
Nachfrage |
1
Formal Modeling and Analysis of Timed Systems (2017)
DE NW EB DL
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
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.
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.
2
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (2017)
DE NW EB DL
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer International Publishing, neu, E-Book, elektronischer Download.
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.
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.
3
Symbolbild
Formal Modeling and Analysis of Timed Systems (2017)
DE NW EB DL
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
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.
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.
4
Symbolbild
Formal Modeling and Analysis of Timed Systems (2017)
DE NW EB DL
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
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.
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.
5
Formal Modeling and Analysis of Timed Systems (2017)
DE PB NW
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Formal Modeling and Analysis of Timed Systems (2017)
DE NW EB DL
ISBN: 9783319657653 bzw. 3319657658, in Deutsch, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Symbolbild
Formal Modeling and Analysis of Timed Systems (2017)
~EN NW EB DL
ISBN: 9783319657653 bzw. 3319657658, vermutlich in Englisch, Springer International Publishing, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Download sofort lieferbar.
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…