Hoppa till sidans huvudinnehåll

Andrey Rybalchenko – författare

Visar alla böcker från författaren Andrey Rybalchenko.
4 produkter

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

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

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

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