Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540679899
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Qualittsmanagement-Report der Banken

$59.99

Semantic Multimedia and Ontologies

$129.00

Mediendemokratie im Medienland

$59.99

Machine Learning for Cyber-Physical Systems

$49.99

Virginia Woolf

$39.99

Literature 1971, Part 2

$39.99

Interkulturelle Kompetenz online vermitteln

$64.99

Feminist Theory and Pop Culture

$49.99

Lords of Misrule

$54.99

Hepatocellular Carcinoma:

$169.00

Psychologische Tests fr Mediziner

$84.99

Sportinteresse und Mobile TV

$49.99

Working-through Collective Wounds

$109.99

Command Responsibility in International Criminal Law

$159.99

Building ASIPs: The Mescal Methodology

$169.99

Live and Let Fry: From "The Doodle Boy" Joe Whale (Bad Food #4)

$5.24

Aesthetic Septorhinoplasty

$329.99

Chirurgische Knochen- und Gelenkerkrankungen

$44.99

Beyond the Horizon of Computability

$54.99

Die jngsten Bestrebungen und Erfolge des deutschen Schiffbaues

$54.99

Das Verhalten des Druckes im Pleuraraum bei der Atmung und die Ursachen seiner Vernderlichkeit

$59.99

Pancreaticobiliary Maljunction and Congenital Biliary Dilatation

$199.99

Beteiligungsfinanzierung italienischer Familienunternehmen

$59.99

Building a Future on Peace and Justice

$84.99

Bioreactor Engineering Research and Industrial Applications I

$219.99

Nichtlineare Berechnungen im Konstruktiven Ingenieurbau

$169.99

Transforming IQ into Orthopdie Mentale

$54.99

Atlas der Pathologie urologischer Tumoren

$59.99

The Spanish Financial System

$84.99

Shifting Solidarities

$119.99

Die vertikale Temperaturverteilung zwischen Wasserleben und dem Brocken

$54.99

Cosmology and Gravitation

$54.99

Doris Lessing and Sufi Equilibrium

$109.99

Spectral Theory of Linear Operators

$169.99

16-Bit-Mikroprozessorsysteme

$54.99

Shaping Education Policy Discourse

$109.99

Measuring and Maximizing Training Impact

$44.99

Non-linear Data Analysis on the Sphere

$109.99

Geostatistics Tria '92

$84.99