|  |
 |
| Artikel-Nr.: 858A-9783642425813 Herst.-Nr.: 9783642425813 EAN/GTIN: 9783642425813 |
| |
|
|  |  |
 | Modelling and Validation of Concurrent Systems Weitere Informationen:  |  | Author: | Kurt Jensen; Lars M. Kristensen | Verlag: | Springer Berlin | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, distributed systems; formal methods; performance analysis; Simulation; systems modeling; Design; modeling; programming; verification, Concurrent Systems, Distributed Systems, Formal Methods, Performance Analysis, Petri Nets, Simulation, Systems Modeling, design, modeling, programming |
|  |  |
| |