|  |
| |
| Artikel-Nr.:
5667A-9783319448770 Herst.-Nr.:
9783319448770 EAN/GTIN:
9783319448770 |
| |
|
| | |
| 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Weitere Informationen: | | Author: | Martin Fränzle; Nicolas Markey | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| 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 |
| | |
| |