Hoppa till sidans huvudinnehåll

Sergiy Bogomolov – författare

Visar alla böcker från författaren Sergiy Bogomolov.
2 produkter
Sergiy Bogomolov, David Parker - Formal Modeling and Analysis of Timed Systems, Häftad
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

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification, Häftad

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