Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, , Berlin, Germany, September 5-7, 2017. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

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. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Lecture Notes in Computer Science
Theoretical Computer Science and General Issues

Sprache(n): Englisch

ISBN: 978-3-319-65764-6 / 978-3319657646 / 9783319657646

Verlag: Springer International Publishing

Erscheinungsdatum: 03.08.2017

Seiten: 353

Auflage: 1

Herausgegeben von Alessandro Abate, Gilles Geeraerts

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück