Computational Logic and Set Theory (Texts in Computer Science)
5 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 |
---|---|---|---|---|
Schnitt | € 53,93 | € 54,36 | € 52,73 | € 52,73 |
Nachfrage |
1
Computational Logic and Set Theory, w. CD-ROM
EN HC NW
ISBN: 9780387407623 bzw. 0387407626, in Englisch, Springer, Berlin, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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 TOC:* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysis2007. 368 p. w. 75 figs.Versandfertig in über 4 Wochen, Hardcover.
buecher.de GmbH & Co. KG, [1].
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 TOC:* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysis2007. 368 p. w. 75 figs.Versandfertig in über 4 Wochen, Hardcover.
2
Computational Logic and Set Theory
EN HC NW
ISBN: 9780387407623 bzw. 0387407626, in Englisch, Springer, Berlin, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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 TOC:* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysis2007. 368 p. w. 75 figs.Versandfertig in über 4 Wochen, Hardcover.
buecher.de GmbH & Co. KG, [1].
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 TOC:* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysis2007. 368 p. w. 75 figs.Versandfertig in über 4 Wochen, Hardcover.
3
Computational Logic and Set Theory, w. CD-ROM
EN HC NW
ISBN: 9780387407623 bzw. 0387407626, in Englisch, Springer, Berlin, gebundenes Buch, neu.
Lieferung aus: Deutschland, Verandkosten nach: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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 TOC:* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysisw. 75 figs.Versandfertig in über 4 Wochen, Hardcover.
buecher.de GmbH & Co. KG, [1].
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 TOC:* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysisw. 75 figs.Versandfertig in über 4 Wochen, Hardcover.
4
Computational Logic and Set Theory, w. CD-ROM
EN HC NW
ISBN: 9780387407623 bzw. 0387407626, in Englisch, Springer, Berlin, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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 TOC:* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysisw. 75 figs.Versandfertig in über 4 Wochen, Hardcover.
buecher.de GmbH & Co. KG, [1].
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 TOC:* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysisw. 75 figs.Versandfertig in über 4 Wochen, Hardcover.
5
Computational Logic and Set Theory (Texts in Computer Science) (2007)
EN HC NW
ISBN: 9780387407623 bzw. 0387407626, in Englisch, 368 Seiten, 2004. Ausgabe, Springer, Berlin, gebundenes Buch, neu.
Lieferung aus: Deutschland, Gewöhnlich versandfertig in 7 bis 13 Tagen.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…