Sergiy Bogomolov - Böcker

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

Av Sergiy Bogomolov, David Parker

Häftad, Engelska, 2022

809 kr

Skickas inom 7-10 vardagar
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification, Häftad

Numerical Software Verification

Av Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

Häftad, Engelska, 2017

729 kr

Skickas inom 7-10 vardagar