Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science (5123), Band 5123)

Verification

von: Aarti Gupta · Sharad Malik

Taschenbuch

Details (Deutschland)

Details (USA)
(siehe auch: Album)

ISBN: 978-3-540-70543-7

ISBN-10: 3-540-70543-0

Springer · 2008