Petri Nets and Other Models of Concurrency - ICATPN 2007 Alex Yakovlev
Titel: Petri Nets and Other Models of Concurrency - ICATPN 2007, Untertitel: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, Einband: Taschenbuch, Autor: Alex Yakovlev, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 532, Maße: 235x155x29 mm, Gewicht: 797 g, Verkäufer: buch-mimpf, Schlagworte: Petri-Netz Distributed Data Processing Informationssystem / Verteiltes System Verteiltes System (EDV) Concurrent Systems Variable Visualization bounded Petri nets calculus colored Petri nets distributed systems dynamic Petri nets formal methods fuzzy Petri nets model checking modeling nets-within-nets petri net verification.
Jetzt bei Ebay:
