Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540328698 - 26. juni 2006
Ved uoverensstemmelse mellem cover og titel gælder titel

Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence 2006 edition

Pris
Íkr 25.086,25

Bestilles fra fjernlager

Forventes klar til forsendelse 10. - 16. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Findes også som:

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.

257 pages, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 26. juni 2006
ISBN13 9783540328698
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 257
Mål 210 × 297 × 17 mm   ·   585 g
Sprog Engelsk  
Vis alle

Mere med Wojciech Penczek

Se alt med Wojciech Penczek ( f.eks. Paperback Bog og Hardcover bog )