|  |
 |
| Artikel-Nr.: 858A-9783662558614 Herst.-Nr.: 9783662558614 EAN/GTIN: 9783662558614 |
| |
|
|  |  |
 | Transactions on Petri Nets and Other Models of Concurrency XII Weitere Informationen:  |  | Author: | Maciej Koutny; Jetty Kleijn; Wojciech Penczek; Mingmin Zhang | Verlag: | Springer Berlin | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, formal methods, meta-modeling, model checking, petri nets, system verification, system refinement, system synthesis, graph theory, process mining, software engineering |
|  |  |
| |