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 verifiersSchwartz, Jacob is the author of 'Computational Logic And Set Theory ', published 2007 under ISBN 9780387407623 and ISBN 0387407626.
With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
Book condition guidelines
New (perfect condition)
Pages are clean and are not marked by notes, highlighting or fold.
Like new (excellent condition)
Pages are clean and are not marked by notes, highlighting or folds.
Very good (good condition)
Pages are intact and may have minimal notes and/or highlighting or folds.
Good (clean condition)
All pages and the cover is intact. The spine may show signs of wear. Pages include notes and/or highlighting.
Acceptable (readable condition)
All pages and the cover is intact. Pages include considerable notes in pen or highlighter, but the text is not obscured.
How do rentals work?
Save up to 90% on the largest selection of textbook rentals in the business. We have the lowest prices - guaranteed.
Choose between standard or expedited shipping to make sure that your textbooks arrive in time for class.
Return for free!
When your books are due, just pack them up and ship them back. And don't worry about shipping - it's absolutely free!