Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings - Lecture Notes in Computer Science - Krishnendu Chatterjee - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642152962 - maanantai 30. elokuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings - Lecture Notes in Computer Science

Krishnendu Chatterjee

Kirjaudu sisään saadaksesi viestin kun tuotetta on jälleen saatavilla

Asiakkaamme sanovat:

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

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings - Lecture Notes in Computer Science

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria.

267 pages, 55 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 30. elokuuta 2010
ISBN13 9783642152962
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 257
Mitta 155 × 231 × 15 mm   ·   408 g
Kieli French  
Toimittaja Chatterjee, Krishnendu
Toimittaja Henzinger, Thomas A.
Näytä kaikki

Lisää tuotteita Krishnendu Chatterjee

Katso kaikki joka sisältää Krishnendu Chatterjee ( Esim. Paperback Book )