Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Lecture Notes in Computer Science - Kim G Larsen - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540216711 - 8. april 2004
Ved uoverensstemmelse mellem cover og titel gælder titel

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Lecture Notes in Computer Science 2004 edition

Kim G Larsen

Pris
元 503,75

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 15. okt.

Vores kunder siger:

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

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers - Lecture Notes in Computer Science 2004 edition

among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.

281 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 8. april 2004
ISBN13 9783540216711
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 281
Mål 155 × 233 × 15 mm   ·   417 g
Sprog Tysk  
Klipper/redaktør Larsen, Kim G.
Klipper/redaktør Niebert, Peter
Vis alle

Mere med Kim G Larsen

Se alt med Kim G Larsen ( f.eks. Paperback Bog )