|  |
 |
| Artikel-Nr.: 5667A-9783540752905 Herst.-Nr.: 9783540752905 EAN/GTIN: 9783540752905 |
| |
|
|  |  |
 | 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings Weitere Informationen:  |  | Author: | Cliff B. Jones; Zhiming Liu; Jones Woodcock | Verlag: | Springer Berlin | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Automatentheorie, Automat, automata, automata theory, formal language, formal languages, model checking, modeling, programming, programming language, real-time |
|  |  |
| |