logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings - Alan J. Hu, Moshe Y. Vardi
Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
by: (author) (author)
Format: paperback
ISBN: 9783540646082 (3540646086)
Publisher: Springer
Pages no: 552
Edition language: English
Bookstores:
Books by Moshe Y. Vardi
Books by Alan J. Hu
Share this Book
Need help?