Interactive Theorem Proving and Program Development
Brand: Springer
Categories: Books, Computers & Technology, Computer Science


Used Book in Good Condition

Publisher: Springer; 2004th edition (May 14, 2004)
Language: English
Hardcover: 500 pages
ISBN 10: 3540208542
ISBN 13: 978-3540208549
Item Weight: 4.28 pounds
Dimensions: 6.14 x 1.06 x 9.21 inches