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
9783642396335
Condition
New
Product Description

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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

Periphere Leitungsbahnen II Centrales Nervensystem Sinnesorgane

$69.99

Asymptotics in Statistics

$219.99

Die Innenrevision im Industriebetrieb

$59.99

Radar Principles for the Non-Specialist

$79.99

Culturally Responsive Collection: Disability and Neurodiversity Grades 3-5

$250.00

Algorithms and Solutions Based on Computer Technology

$199.99

MATLAB for Engineers Explained

$54.99

Differential Geometric Structures and Applications

$169.99

Sterben? Am liebsten pltzlich und unerwartet.

$49.99

Register of Defunct Companies

$74.99

Leveraging Applications of Formal Methods

$54.99

Der (Mehr-)Wert der Zwei-Elternteil-Familie

$39.99

Urban Transportation Energy Supply Network

$169.99

Taking Nature Into Account

$24.99

Temporary Workers or Future Citizens?

$84.99

Understanding Survey Methodology

$69.99

Piracy and Privateering in the Golden Age Netherlands

$109.99

Natural Resources and Control Processes

$129.00

Optics in Astrophysics

$139.00

Family Life in Old Age

$109.99

Entwicklung einer nachhaltigkeitsorientierten Rohstoffbewertung zur Untersttzung von Entscheidungsp

$59.99

Quantum-Enhanced Nonlinear Spectroscopy

$109.99

The Psychology of Asian Learners

$84.99

Complex Networks and Their Applications VII

$219.99

Sozialisationsprozesse von mnnlichen Nachwuchsleistungssportlern in Sportinternaten

$59.99

Adult Development, Therapy, and Culture

$84.99

Atlas of Interventional Cardiology

$99.00

Die Kreditvergabeentscheidung der Banken

$59.99

Zum algebraischen Gleichheitsverstndnis von Grundschulkindern

$49.99

Die Geburt aus ethnomedizinischer Sicht

$64.99

Herzschrittmacher

$84.99

The calcitonin gene-related peptide family

$129.00

Corporate Governance in a Globalising World: Convergence or Divergence?

$84.99

Rassenmythos und Sozialwissenschaften in Deutschland

$49.99

The Politics of Education Reforms

$84.99

Innovationen an der Schnittstelle zwischen technischer Dienstleistung und Kunden 2

$89.99

Elements for a Theory of Decision in Uncertainty

$169.99

Kosmische Strahlung II / Cosmic Rays II

$109.99

Job Market Signaling in Public Administration

$109.99

OCDaniel

$6.71