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 - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642290718 - 27. mars 2012
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
NOK 709

Bestillingsvarer

Forventes levert 22. apr - 2. mai
Legg til iMusic ønskeliste

Transactions on Petri Nets and Other Models of Concurrency V - Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt Tyskland, 27. mars 2012
ISBN13 9783642290718
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 310
Mål 155 × 235 × 18 mm   ·   458 g
Språk Fransk  

Vis alle

Mer med Kurt Jensen