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