Andrey Rybalchenko – författare & böcker | Akademibokhandeln

Andrey Rybalchenko – författare

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

4 produkter

Kategorier

4 produkter

Del 14765
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
739 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
739 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
739 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
739 kr
Skickas inom 10-15 vardagar