Computational Logic And Set Theory - Rilegato

Schwartz, Jacob; Omodeo, Eugenio; Cantone, Domenico

Rilegato

ISBN 10: 0387407626 ISBN 13: 9780387407623

Casa editrice: Springer-Verlag New York Inc, 2007

Riassunto

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

Dettagli dell'edizione

• Editore: Springer-Verlag New York Inc
• Data di pubblicazione: 2007
• Lingua: Inglese
• ISBN 10: 0387407626
• ISBN 13: 9780387407623
• Rilegatura: Copertina rigida
• Numero edizione: 2
• Numero di pagine: 368
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania