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
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus pe - ma 5. - 15. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

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 150 × 220 × 10 mm   ·   462 g
Kieli Saksa  
Toimittaja Jansen, David N.
Toimittaja Prabhakar, Pavithra