Formal Modeling and Analysis of Timed Systems

20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

AvSergiy Bogomolov,David Parker

Häftad, Engelska, 2022

Del 13465 i serien Lecture Notes in Computer Science

605 kr

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

Beskrivning

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

  • -30%

Maken

Gun-Britt Sundström

Pocket

69 kr99 kr

  • -22%

Fars rygg

Niels Fredrik Dahl

Pocket
1

69 kr89 kr