Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Theoretical Computer Science and General Issues - - 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 - Theoretical Computer Science and General Issues 2018 edition

Hinta
NOK 619

Tilattu etävarastosta

Arvioitu toimitus pe 19. joulu - to 1. tammi 2026
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