Vinkkaa tuotetta kavereillesi:
Transactions on Petri Nets and Other Models of Concurrency V - Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency
Kurt Jensen
Hinta
HK$ 561
Tilattu etävarastosta
Arvioitu toimitus ma - ke 2. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
Transactions on Petri Nets and Other Models of Concurrency V - Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency
Kurt Jensen
This book presents 12 papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Covers model checking and system verification, synthesis, work on specific classes of Petri nets and more.
310 pages, biography
Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | tiistai 27. maaliskuuta 2012 |
ISBN13 | 9783642290718 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Sivujen määrä | 310 |
Mitta | 155 × 235 × 18 mm · 458 g |
Kieli | French |
Näytä kaikki
Lisää tuotteita Kurt Jensen
Katso kaikki joka sisältää Kurt Jensen ( Esim. Paperback Book , Hardcover Book Ja Loose-leaf )