Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Lecture Notes in Computer Science - - Kirjat - Springer International Publishing AG - 9783319448770 - keskiviikko 17. elokuuta 2016
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Hinta
Mex$ 1.135,20

Tilattu etävarastosta

Arvioitu toimitus ti - ke 4. - 12. marras
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;

257 pages, 67 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 17. elokuuta 2016
ISBN13 9783319448770
Tuottaja Springer International Publishing AG
Sivujen määrä 245
Mitta 155 × 235 × 14 mm   ·   3,99 kg
Kieli German  
Toimittaja Franzle, Martin
Toimittaja Markey, Nicolas