Application and Theory of Petri Nets and Concurrency bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
5667A-9783319390857

Hersteller:
Springer Verlag

Herst.-Nr.:
9783319390857

EAN/GTIN:
9783319390857

Suchbegriffe:

37th International Conference, PETRI NETS 2016, Toru?, Poland, June 19-24, 2016. Proceedings

Weitere Informationen:


Author:	Fabrice Kordon; Daniel Moldt
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Programmieren / Allgemeines, Petri Nets, Concurrency, Formal Methods, Verification, Synthesis, timed verification, stochastic verification, tools for verification, structural properties, Modelling