Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. ... Notes in Computer Science (3299), Band 3299)

von Farn Wang Taschenbuch Details (Deutschland) Details (United States) Details (Italien) (siehe auch: Copertina flessibile) ISBN-13: 978-3-540-23610-8 ISBN-10: 3-540-23610-4 Springer Berlin Heidelberg · 2008