| |
|
| Artikel-Nr.: 5667A-9783642002830 Herst.-Nr.: 9783642002830 EAN/GTIN: 9783642002830 |
| |
|
| | |
| 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, Petri-Netz, concurrentsystems; distributedsystems; formalmethods; performanceanalysis; Petrinets; Simulation; Systemsmodeling; Design; modeling; programming; verification, Concurrent Systems, Distributed Systems, Formal Methods, Performance Analysis, Petri Nets, Simulation, Systems Modeling, design, modeling |
| | |
| |