| ![](/p.gif) |
![](/p.gif) |
| Artikel-Nr.: 5667A-9783319448770 Herst.-Nr.: 9783319448770 EAN/GTIN: 9783319448770 |
| |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Weitere Informationen: ![](/p.gif) | ![](/p.gif) | Author: | Martin Fränzle; Nicolas Markey | Verlag: | Springer International Publishing | Sprache: | eng |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | | ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Programmieren / Allgemeines, hybridsystems; modelchecking; Petrinets; SynchronousProgramming; timesemantics; approximation; automatatheory; computationbyabstractdevices; computerapplications, hybrid systems, model checking, Petri nets, synchronous programming, time semantics, approximation, automata theory, computation by abstract devices, computer applications |
| ![](/p.gif) | ![](/p.gif) |
| |