![Coloured Petri Nets: Modelling and Validation of Concurrent Systems - Kurt Jensen - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642002830 - 2 de julho de 2009](https://imusic.b-cdn.net/images/item/original/830/9783642002830.jpg?kurt-jensen-2009-coloured-petri-nets-modelling-and-validation-of-concurrent-systems-hardcover-book&class=scaled&v=1446423566)
Conte aos seus amigos sobre este item:
Coloured Petri Nets: Modelling and Validation of Concurrent Systems 2009 edition
Kurt Jensen
Coloured Petri Nets: Modelling and Validation of Concurrent Systems 2009 edition
Kurt Jensen
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role.
396 pages, 254 black & white illustrations, 27 black & white tables, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 2 de julho de 2009 |
ISBN13 | 9783642002830 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 384 |
Dimensões | 155 × 235 × 22 mm · 730 g |
Idioma | French |
Mostrar tudo
Mais por Kurt Jensen
Ver tudo de Kurt Jensen ( por exemplo Paperback Book , Hardcover Book e Loose-leaf )