Sergiy Bogomolov – författare

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

2 produkter

Kategorier

2 produkter

Del 13465
Del 13465 - Lecture Notes in Computer Science
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
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
AvSergiy Bogomolov,Matthieu Martelm. fl.
Häftad, Engelska, 2017
729 kr
Skickas inom 10-15 vardagar