Tipsa dina vänner om produkten:
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
HK$ 540,60
Beställningsvara
Förväntad leverans 15 - 25 okt
Lägg till din iMusic-önskelista
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 | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
Releasedatum | 27 mars 2012 |
ISBN13 | 9783642290718 |
Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
Antal sidor | 310 |
Mått | 155 × 235 × 18 mm · 458 g |
Språk | Franska |
Visa alla
Fler produkter med Kurt Jensen
Se alt med Kurt Jensen ( t.ex. Pocketbok , Inbunden Bok och Lösa papper )