|  |
 |
| Artikel-Nr.: 858A-9783319405773 Herst.-Nr.: 9783319405773 EAN/GTIN: 9783319405773 |
| |
|
|  |  |
 | 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings Weitere Informationen:  |  | Author: | Simon Devitt; Ivan Lanese | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Informatik / Allgemeines, algorithms, automata theory, circuit complexity, formal Logic, formal methods, logic design, model checking, operational semantics, process calculi, programming languages |
|  |  |
| |