Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540328698 - 26. juni 2006
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Wojciech Penczek

Pris
NOK 1.609

Bestillingsvarer

Forventes levert 26. nov - 4. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes 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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 26. juni 2006
ISBN13 9783540328698
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 257
Mål 210 × 297 × 17 mm   ·   585 g
Språk Engelsk  
Vis alle

Mer med Wojciech Penczek

Se alt med Wojciech Penczek ( f.eks. Pocketbok og Innbunden bok )