Books by Pierre Casteran
1 Matches Found. Displaying 1 to 1 of 1 results.
 |
Interactive Theorem Proving and Program Development Author: Yves Bertot & Pierre Castéran & Pierre CastTran ISBN-10: 3540208542 ISBN-13: 9783540208549 Publisher: Springer - Hardcover, 500 pages, 1st edition, 2004 |
1
Books: Book Search | Bestsellers | Subjects
Textbooks : Cheap Textbook Search | Textbook Bestsellers | Textbook Subjects
Movies: Movies Search | Movies Bestsellers | Movies Category & Genre Listings
Music: Music Search | Music Bestsellers | Music Category & Genre Listings
iStingy.com: Home | Store Directory | Privacy Policy | Sitemap