Verwandte Artikel zu Computational Logic and Set Theory (Texts in Computer...
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
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
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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
Biografía del autor
In 1974, Jacob Schwarz, Ph.D., left the business world after 12 years to devote himself full-time to astrological counseling and research. He holds a doctorate in Communications from the University of Illinois and has taught astrology at Temple University in Philadelphia. Dr. Schwartz is the first professional Western Astrologer to lecture and write in Russia, the Ukraine, Kazakhstan and Uzbekistan in modern times. He now has a full-time astrology practice in Wyndmoor, Penn., just outside of Philadelphia.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
