Fortæl dine venner om denne vare:
Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence Wojciech Penczek 1st Ed. Softcover of Orig. Ed. 2006 edition
Pris
SEK 1.879
Bestilles fra fjernlager
Forventes klar til forsendelse 12. - 18. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence
Wojciech Penczek
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.
257 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 25. november 2010 |
| ISBN13 | 9783642069420 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 257 |
| Mål | 156 × 234 × 15 mm · 412 g |
| Sprog | Engelsk |
Vis alle
Mere med Wojciech Penczek
Se alt med Wojciech Penczek ( f.eks. Paperback Bog og Hardcover bog )