Schwartz / Omodeo / Cantone | Computational Logic and Set Theory | Medienkombination | 978-0-387-40762-3 | sack.de

Medienkombination, Englisch, 368 Seiten

Reihe: Texts in Computer Science

Schwartz / Omodeo / Cantone

Computational Logic and Set Theory


1. Auflage 2007
ISBN: 978-0-387-40762-3
Verlag: Springer US

Medienkombination, Englisch, 368 Seiten

Reihe: Texts in Computer Science

ISBN: 978-0-387-40762-3
Verlag: Springer US

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

Schwartz / Omodeo / Cantone Computational Logic and Set Theory jetzt bestellen!

Zielgruppe

Advanced grad students, researchers

Autoren/Hrsg.

Schwartz, Jacob
Omodeo, Eugenio
Cantone, Domenico
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.