Andrey Rybalchenko - Böcker

Visar alla böcker från författaren Andrey Rybalchenko.
3 produkter
Anna Frid, Andrei S. Morozov, Andrey Rybalchenko, Klaus W. Wagner, Andrey Morozov - Computer Science - Theory and Applications, Häftad

Computer Science - Theory and Applications

Av Anna Frid, Andrei S. Morozov, Andrey Rybalchenko, Klaus W. Wagner, Andrey Morozov

Häftad, Engelska, 2009

739 kr

Skickas inom 7-10 vardagar
Viktor Kuncak, Andrey Rybalchenko - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Viktor Kuncak, Andrey Rybalchenko

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar
Ernie Cohen, Andrey Rybalchenko - Verified Software: Theorie, Tools, Experiments, Häftad

Verified Software: Theorie, Tools, Experiments

Av Ernie Cohen, Andrey Rybalchenko

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar