Formal Modeling and Analysis of Timed Systems Nicolas Markey
53,49 €
Titel: Formal Modeling and Analysis of Timed Systems, Untertitel: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, Einband: Taschenbuch, Autor: Nicolas Markey, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 260, Maße: 235x155x15 mm, Gewicht: 400 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Programmieren / Allgemeines Computer Applications Synchronous Programming approximation automata theory computation by abstract devices hybrid systems model checking petri nets time semantics.
Jetzt bei Ebay:
