Computational Logic and Set Theory 2004. Corr. 2nd Edition Contributor(s): Schwartz, Jacob (Author), Omodeo, Eugenio (Author), Cantone, Domenico (Author) |
|
ISBN: 0387407626 ISBN-13: 9780387407623 Publisher: Springer OUR PRICE: $66.45 Product Type: Hardcover - Other Formats Published: April 2007 |
Additional Information |
BISAC Categories: - Computers | Logic Design - Computers | Computer Science - Mathematics | Logic |
Series: Texts in Computer Science |
Physical Information: 370 pages |
Descriptions, Reviews, Etc. |
Publisher Description: An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advanced CS students and researches will find the book an essential presentation of the theoretical concepts of proof verification (i.e., proof checker) systems for large-scale software systems. Topics and features: *Describes in-depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics *Provides a verifier aimed at tackling large-scale proof scenarios *Integrates important proof-engineering issues, reflecting the goals of large-scale verifiers |