logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, USA, June 21-23, 1994. Proceedings - David Dill
Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, USA, June 21-23, 1994. Proceedings
by: (author)
Format: paperback
ISBN: 9783540581796 (3540581790)
Publisher: Springer
Pages no: 486
Edition language: English
Bookstores:
Books by David Dill
Share this Book
Need help?