Hoppa till sidans huvudinnehåll

Andrey Rybalchenko – författare

Visar alla böcker från författaren .
4 produkter
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies - On the Pursuit of Insight and Elegance, Häftad
Del 14765 - Lecture Notes in Computer Science

On the Pursuit of Insight and Elegance

Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday

AvDaniel Dietsch,Andrey Rybalchenkom. fl.

Häftad, Engelska, 2026

729 kr

Skickas inom 10-15 vardagar

Anna Frid, Andrei S. Morozov, Andrey Rybalchenko, Klaus W. Wagner - Computer Science - Theory and Applications, Häftad

Computer Science - Theory and Applications

Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings

AvAnna Frid,Andrei S. Morozovm. fl.

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Viktor Kuncak, Andrey Rybalchenko - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

AvViktor Kuncak,Andrey Rybalchenko

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Ernie Cohen, Andrey Rybalchenko - Verified Software: Theorie, Tools, Experiments, Häftad

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

AvErnie Cohen,Andrey Rybalchenko

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar