Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

AvMartin Fränzle,Nicolas Markey

Häftad, Engelska, 2016

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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;

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr