Fortæl dine venner om denne vare:
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
Pris
DKK 546
Bestilles fra fjernlager
Forventes klar til forsendelse 21. - 29. okt.
Tilføj til din iMusic ønskeseddel
Eller
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
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 27. marts 2012 |
ISBN13 | 9783642290718 |
Forlag | Springer-Verlag Berlin and Heidelberg Gm |
Antal sider | 310 |
Mål | 155 × 235 × 18 mm · 458 g |
Sprog | Fransk |
Vis alle
Mere med Kurt Jensen
Se alt med Kurt Jensen ( f.eks. Paperback Bog , Hardcover bog og Løsblad )