Sergiy Bogomolov - Böcker

Visar alla böcker från författaren Sergiy Bogomolov.

2 produkter

Kategorier

2 produkter

Formal Modeling and Analysis of Timed Systems

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

Av Sergiy Bogomolov, David Parker

Häftad, Engelska, 2022

799 kr

Skickas inom 10-15 vardagar

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Av Sergiy Bogomolov, Matthieu Martel m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar