|
|

avaa valikko

Andrey Rybalchenko | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



Frid, Anna; Morozov, Andrei S.; Rybalchenko, Andrey; Wagner, Klaus W.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Computer Science - Theory and Applications - Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, R
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Kuncak, Viktor; Rybalchenko, Andrey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, Ja
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Cohen, Ernie; Rybalchenko, Andrey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja
Verified Software: Theorie, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Dietsch, Daniel; Rybalchenko, Andrey; Schäf, Martin; Wies, Thomas
Springer
2026
Pehmeäkantinen kirja
On the Pursuit of Insight and Elegance : Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €