Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science - - Bøker - Springer Nature Switzerland AG - 9783030001506 - 26. august 2018
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
DKK 358,40

Bestillingsvarer

Forventes levert 12. - 22. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 26. august 2018
ISBN13 9783030001506
Utgivere Springer Nature Switzerland AG
Antall sider 289
Mål 150 × 220 × 10 mm   ·   462 g
Språk Tysk  
Redaktør Jansen, David N.
Redaktør Prabhakar, Pavithra