logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings - Lennart Beringer, Amy Felty
Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
by: (author) (author)
Format: paperback
ISBN: 9783642323461 (3642323464)
Publisher: Springer, 419 pages, Paperback" />
Pages no: 419
Edition language: English
Bookstores:
Books by Lennart Beringer
Books by Amy Felty
Share this Book
Need help?