Andrey Rybalchenko - Böcker
Visar alla böcker från författaren Andrey Rybalchenko.
4 produkter
4 produkter
On the Pursuit of Insight and Elegance
Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
Häftad, Engelska, 2026
709 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
Häftad, Engelska, 2009
709 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
Häftad, Engelska, 2012
709 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
Häftad, Engelska, 2014
709 kr
Skickas inom 10-15 vardagar