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

Interactive Theorem Proving

Interactive Theorem Proving

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

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

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

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Numerical and Physical Aspects of Aerodynamic Flows II

$109.99

Amazing Scientists: The Girl With a Mind for Math

$6.71

Foundations of Empirical Software Engineering

$199.99

High Performance Computing in Science and Engineering 2000

$84.99

Threats to Food and Water Chain Infrastructure

$219.99

Modular Programming Languages

$54.99

The Pacemaker Clinic of the 90s

$169.00

Community College Faculty

$39.99

Performance, Identity, and Immigration Law

$54.99

Connectionist Speech Recognition

$169.00

Electrophysiology

$109.99

21st Century Maritime Silk Road: Wave Energy Resource Evaluation

$129.00

Leadership in the Trenches

$169.99

Close Encounters of the Microbial Kind

$37.99

Recognition Theory as Social Research

$54.99

Logistische Informatik fr Gterverkehrsbetriebe und Verlader

$69.99

The Business of Android Apps Development

$19.99

Web and Big Data

$219.99

Computer Vision ECCV 2024

$64.99

Limits of Law, Prerogatives of Power

$39.99

Pollen Biology

$109.99

Innovative Approaches to Cell Biomechanics

$109.99

Recovering Religious Concepts

$79.99

Untersuchungen ber die Abweichung der elektrischen Leitfhigkeit von dem Ohmschen Gesetz an verschi

$59.99

An Invitation to C*-Algebras

$64.99

Migrating ASP.NET Microservices to ASP.NET Core

$29.99

Integer Programming

$69.00

Sam Battles the Machine!: A Branches Book (Eerie Elementary #6)

$5.24

Insulating Films on Semiconductors

$109.99

Theory of Complex Functions

$99.99

Hello World: Hello, Fire Truck!

$5.21

Bremer Jahrbuch der Weltschiffahrt 1954/55 / Bremen World Shipping Yearbook

$54.99

Media, Environment and the Network Society

$54.99

Sportler*innen motivieren

$34.99

Computers Helping People with Special Needs

$84.99

Knowledge and Change in African Universities

$39.99

Das Kommunikationszentrum Wuppertal die brse

$44.99

Grundlagen Systeme Ausfhrung

$44.99

Griechische Kriegsaltertmer fr hhere Lehranstalten und fr den Selbstunterricht

$39.99