Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Anna Frid, Andrei S. Morozov, Andrey S. Morozov, Andrey Rybalchenko, Andrey Rybalchenko et al, Andrei S Morozov... - Computer Science - Theory and Applications

Anna Frid, Andrei S. Morozov, Andrey S. Morozov, Andrey Rybalchenko, Andrey Rybalchenko et al, Andrei S Morozov... Computer Science - Theory and Applications English 28.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Viktor Kuncak, Andrey Rybalchenko - Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak, Andrey Rybalchenko Verification, Model Checking, and Abstract Interpretation English 12.01.2012 Paperback / Softback Fr. 70.00 6-7 weeks

Erni Cohen, Ernie Cohen, Rybalchenko, Rybalchenko, Andrey Rybalchenko - Verified Software: Theorie, Tools, Experiments

Erni Cohen, Ernie Cohen, Rybalchenko, Rybalchenko, Andrey Rybalchenko Verified Software: Theorie, Tools, Experiments English 28.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks

Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Martin Schäf et al, Thomas Wies - On the Pursuit of Insight and Elegance

Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Martin Schäf et al, Thomas Wies On the Pursuit of Insight and Elegance English, German Paperback / Softback Fr. 69.00 Will be released 14.01.2026