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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540216711 - 8. april 2004
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
元 401

Bestillingsvarer

Forventes levert 10. - 20. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 8. april 2004
ISBN13 9783540216711
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 281
Mål 155 × 233 × 15 mm   ·   417 g
Språk Tysk  
Redaktør Larsen, Kim G.
Redaktør Niebert, Peter
Vis alle

Mer med Kim G Larsen

Se alt med Kim G Larsen ( f.eks. Pocketbok )