Book Search Results
Interactive Theorem Proving And Program Development by Yves Bertot
Find "Interactive Theorem Proving And Program Development" by Yves Bertot through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Interactive theorem proving and program development
By Yves Bertot
“Interactive theorem proving and program development” Metadata:
- Title: ➤ Interactive theorem proving and program development
- Author: Yves Bertot
- Language: English
- Number of Pages: Median: 469
- Publisher: Springer
- Publish Date: 2004
- Publish Location: Berlin - New York
“Interactive theorem proving and program development” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Computer programming - Calculus of operations - Proof theory - Formal languages - Software engineering
Edition Identifiers:
- The Open Library ID: OL3313975M
- Online Computer Library Center (OCLC) ID: 55514299
- Library of Congress Control Number (LCCN): 2004103364
- All ISBNs: 9783540208549 - 3540208542
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Interactive theorem proving and program development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Interactive Theorem Proving and Program Development
By Yves Bertot
“Interactive Theorem Proving and Program Development” Metadata:
- Title: ➤ Interactive Theorem Proving and Program Development
- Author: Yves Bertot
- Language: English
- Number of Pages: Median: 472
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2004
- Publish Location: Berlin, Heidelberg
“Interactive Theorem Proving and Program Development” Subjects and Themes:
- Subjects: ➤ Logic design - Computer network architectures - Software engineering - Computer science - Artificial intelligence - Automatic theorem proving - Computer programming
Edition Identifiers:
- The Open Library ID: OL27046275M
- Online Computer Library Center (OCLC) ID: 851383998
- All ISBNs: 3642058809 - 9783662079645 - 9783642058806 - 366207964X
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Interactive Theorem Proving and Program Development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Interactive Theorem Proving And Program Development” online:
Shop for “Interactive Theorem Proving And Program Development” on popular online marketplaces.
- Ebay: New and used books.