Formal Modeling and Analysis of Timed Systems / Lecture Notes in Computer Science Bd.10419 (PDF)
15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
(Sprache: Englisch)
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...
The aim of FORMATS is to promote the study of...
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Modeling and Analysis of Timed Systems / Lecture Notes in Computer Science Bd.10419 (PDF)“
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.
Bibliographische Angaben
- 2017, 1st ed. 2017, 353 Seiten, Englisch
- Herausgegeben: Alessandro Abate, Gilles Geeraerts
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319657658
- ISBN-13: 9783319657653
- Erscheinungsdatum: 01.09.2017
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 14 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Modeling and Analysis of Timed Systems / Lecture Notes in Computer Science Bd.10419"
0 Gebrauchte Artikel zu „Formal Modeling and Analysis of Timed Systems / Lecture Notes in Computer Science Bd.10419“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Modeling and Analysis of Timed Systems / Lecture Notes in Computer Science Bd.10419".
Kommentar verfassen