Andrey Rybalchenko - Böcker

Visar alla böcker från författaren Andrey Rybalchenko.
4 produkter
  • Nyhet
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies - On the Pursuit of Insight and Elegance, Häftad

On the Pursuit of Insight and Elegance

Av Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies

Häftad, Engelska, 2026

1 069 kr

Kommande
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 10-15 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 10-15 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 10-15 vardagar