Sergiy Bogomolov – författare
Visar alla böcker från författaren Sergiy Bogomolov.
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, 2022
809 kr
Lägg i varukorg
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, 2017
739 kr
Lägg i varukorg