Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science, Band 7358)

Parthasarathy

von: Madhusudan Parthasarathy · Sanjit A. Seshia

Taschenbuch

Details (Deutschland)

EAN=ISBN-13: 978-3-642-31423-0

ISBN-10: 3-642-31423-6

Springer · 2012