Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Theoretical Computer Science and General Issues - - 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 - Theoretical Computer Science and General Issues 1st ed. 2016 edition

Hinta
Kč 1.285

Tilattu etävarastosta

Arvioitu toimitus ke - to 19. - 27. 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 - Theoretical Computer Science and General Issues 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