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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540216711 - torstai 8. huhtikuuta 2004
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
元 441,10

Tilattu etävarastosta

Arvioitu toimitus ti - ke 21. - 29. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 8. huhtikuuta 2004
ISBN13 9783540216711
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 281
Mitta 155 × 233 × 15 mm   ·   417 g
Kieli German  
Toimittaja Larsen, Kim G.
Toimittaja Niebert, Peter
Näytä kaikki

Lisää tuotteita Kim G Larsen

Katso kaikki joka sisältää Kim G Larsen ( Esim. Paperback Book )