Mohlo by se vám také líbit

Více informací o knize Transactions on Petri Nets and Other Models of Concurrency V

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Transactions on Petri Nets and Other Models of Concurrency V
• Autor: Kurt Jensen, Susanna Donatelli, Jetty Kleijn
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 293
• EAN: 9783642290718
• ISBN: 364229071X
• ID: 01660797
• Nakladatelství: Springer, Berlin
• Hmotnost: 449 g
• Rozměry: 235 × 155 × 18 mm
• Rok vydání: 2012

Oblíbené z jiného soudku

---

---

---