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

613 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

  • -22%
Del 2

Snedsteget

Elle Kennedy

Pocket, 2024

4,4 utav 5 stjärnor. Totalt antal röster:(9)

69 kr89 kr

  • 4 för 3
Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

4,1 utav 5 stjärnor. Totalt antal röster:(17)

99 kr

  • -30%

En dold skönhet

Lucinda Riley

Pocket, 2026

4,7 utav 5 stjärnor. Totalt antal röster:(15)

69 kr99 kr

  • -22%
Del 1

Spelet

Elle Kennedy

Pocket, 2024

4,4 utav 5 stjärnor. Totalt antal röster:(12)

69 kr89 kr