logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Thomas Ball, Robert B. Jones
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by: (author) (author)
Format: paperback
ISBN: 9783540374060 (354037406X)
Publisher: Springer
Pages no: 564
Edition language: English
Bookstores:
Books by Robert B. Jones
Books by Thomas Ball
Share this Book
Need help?