ISBN 9783642221095 – Computer Aided Verification – 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings – Buch gebraucht, antiquarisch & neu kaufen

Shaz Qadeer

Springer

Shaz Qadeer

Springer

Shaz Qadeer

Springer

Shaz Qadeer

Springer Berlin Heidelberg, Springer Berlin Heidelberg

Springer

Gopalakrishnan, Ganesh Qadeer, Shaz

Springer Berlin Heidelberg

Shaz Qadeer

Springer

Shaz Qadeer

Springer