Buy Used and New WenhuiZhang Books

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings: 4218 (Lecture Notes in Computer Science)

by Susanne Graf, Wenhui Zhang

ISBN 13: 9783540472377

Format: Paperback (560 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later