Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science - - Kirjat - Springer Nature Switzerland AG - 9783030001506 - sunnuntai 26. elokuuta 2018
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science 2018 edition

Hinta
SEK 579

Tilattu etävarastosta

Arvioitu toimitus ke - to 2. - 10. heinä

Asiakkaamme sanovat:

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

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science 2018 edition

This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions.

289 pages, 59 Illustrations, black and white; X, 289 p. 59 illus.

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä sunnuntai 26. elokuuta 2018
ISBN13 9783030001506
Tuottaja Springer Nature Switzerland AG
Sivujen määrä 289
Mitta 462 g
Kieli German  
Toimittaja Jansen, David N.
Toimittaja Prabhakar, Pavithra