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

Advances in Superconductivity VIII

$169.99

From Total Quality Control to Lean Six Sigma

$49.95

Universal Studios Monsters - A Legacy of Horror by Michael Mallory

$45.00

Progress in Cryptology - AFRICACRYPT 2020

$54.99

Calcium and Calcium Binding Proteins

$84.99

Investor Relations Management

$59.99

Der Wiener Kreis und sein philosophisches Spektrum

$74.99

Religion and Identity in the Post-9/11 Vampire

$99.99

Erste Hilfe in der Psychotherapie

$64.99

The Mysterious Benedict Society Mysterious Benedict Society Series #1 by Trenton Lee Stewart

$9.99

Disruptive Analytics

$37.99

Harmonic Analysis of Operators on Hilbert Space

$89.99

Compassion & Caring Grades 3-5

$42.00

The 4th Joint International Conference on Deep Learning, Big Data and Blockchain (DBB 2023)

$179.99

Thyroid Nodules

$109.99

Zwischen Kreisverwaltung und Kreispolitik

$59.99

Artificial Intelligence in China

$129.00

Sunny Makes a Splash

$9.74

International Conference on Communication, Computing and Electronics Systems

$299.99

Neuronavigation and Neuroanatomy

$74.99

An Introduction to Traffic Flow Theory

$79.99

Implizite Vorurteile

$54.99

Edmund Husserls Theorie der Raumkonstitution

$149.99

Representations of Real Numbers by Infinite Series

$29.99

Computer Supported Education

$99.99

Pout-Pout Fish: Pout-Pout Fish: Special Valentine

$4.46

Symmetry and Pairing in Superconductors

$109.99

Drug Development, Regulatory Assessment, and Postmarketing Surveillance

$84.99

Exploring What Drives Indian Stock Market During Covid-19

$49.99

Finite Fields: Theory and Computation

$219.99

Mrkte explorieren

$17.99

Women, Ethics, and Inequality in U.S. Healthcare

$54.99

Schottky Groups and Mumford Curves

$44.99

Blended Learning fr die Unternehmensdigitalisierung

$17.99

Adrenal Glands

$89.00

Synthetic Biology and iGEM: Techniques, Development and Safety Concerns

$149.00

Energie in 60 Minuten

$19.99

Advances in Plant Microbiome and Sustainable Agriculture

$219.99

The Tryout

$9.74

Technischer Vertrieb

$64.99