Numerical Software Verification
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Häftad, 2017
561 kr
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
616 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
- 4 för 3
Del 1
- Signerad!
SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor
Annifrid Lilja, Björn Lilja
Kartonnage, 2026
229 kr
- -22%
Del 1
- -22%
Del 3
- 4 för 3
- -30%
- Nyhet
Del 2
- 4 för 3