Andrey Rybalchenko - Böcker

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

4 produkter

Kategorier

4 produkter

Nyhet

On the Pursuit of Insight and Elegance

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

Av Daniel Dietsch, Andrey Rybalchenko m. fl

Häftad, Engelska, 2026

1 069 kr

Kommande

Computer Science - Theory and Applications

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

Av Anna Frid, Andrei S. Morozov m. 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

Av Viktor 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

Av Ernie Cohen, Andrey Rybalchenko

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar