Automated Theorem Proving in Software Engineering (Softcover)

Name: Automated Theorem Proving in Software Engineering
Author: Johann M. Schumann

von Johann M. Schumann Verlag: Springer Berlin

Softcover reprint of hardcover 1st ed. 2001 - Erschienen 01.12.2010 - Kartoniert, 244 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng

Print on Demand. Lieferbar innerhalb von 7 bis 10 Tagen

Demonstrates the potential of automated theorem proving for applications in software engineering Performance and importance illustrated by detailed case studiesSelf-contained and with an extensive bibliography providing pointers to relevant work and related topics

This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living. That realm is as the reasoning engines of verifiers and generators of computer programs, hardware and related products. (We do note some excellent edited collections exist; one of the best is by Bibel and Schmitt, 1998: see this book's bibliogra phy. ) As we note below, this book does not simply document a brilliant but isolated undertaking. Rather, the book makes clear that a small but steady, and increasing, stream of real-world applications is now appearing. The childhood and adolescence of ATP was both prolonged and spiked with brilliance. The birth year of the field should probably be set as 1956, when the Logic Theorist paper was published by Newell, Shaw and Simon. (However, most likely the first computer generated mathematical proof ap peared in 1954 as output of a program for Pressburger arithmetic, written by Martin Davis. The work was not published at the time.

Produktart:

📚 Bücher

Anbieter:

MARZIES Buch- und Medienhandel

Bestell-Nr.:

A12491912

Kategorie(n):

ISBN: