Computer Aided Verification: 21st International Conference, C.A.V. 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in ... Notes in Computer Science, Band 5643)

von Ahmed Bouajjani Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-642-02657-7 ISBN-10: 3-642-02657-5 Springer · 2009