Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science (3114), Band 3114)

Verification

von: Doron A. Peled · Rajeev Alur

Taschenbuch

Details (Deutschland)

Details (Italien)
(siehe auch: Copertina flessibile)

Details (Spanien - España)
(siehe auch: Tapa blanda)

ISBN: 978-3-540-22342-9

ISBN-10: 3-540-22342-8

Springer · 2008