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 - - Bøger - Springer International Publishing AG - 9783319448770 - 17. august 2016
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
Kč 1.458

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 17. nov.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 17. august 2016
ISBN13 9783319448770
Forlag Springer International Publishing AG
Antal sider 245
Mål 155 × 235 × 14 mm   ·   3,99 kg
Sprog Tysk  
Klipper/redaktør Franzle, Martin
Klipper/redaktør Markey, Nicolas