Noch Fragen? 0800 / 33 82 637

Computational Logic and Set Theory

Produktform: Medienkombination

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 verifiersweiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-0-387-40762-3 / 978-0387407623 / 9780387407623

Verlag: Springer US

Erscheinungsdatum: 31.12.2006

Seiten: 368

Auflage: 1

Zielgruppe: Advanced grad students, researchers

Autor(en): Domenico Cantone, Eugenio Omodeo, Jacob Schwartz

58,80 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück