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)

Verification

von Farn Wang

Taschenbuch

Details (Deutschland)

Details (Italien)
(siehe auch: Copertina flessibile)

ISBN-13: 978-3-540-23610-8

ISBN-10: 3-540-23610-4

Springer Berlin Heidelberg · 2008