Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Notes in Computer Science, Band 6806)

von: Ganesh Gopalakrishnan · Shaz Qadeer Taschenbuch Details (Deutschland) ISBN: 978-3-642-22109-5 ISBN-10: 3-642-22109-2 Springer · 2011