Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer Nature
SKU: 9783319431437
Availability: InStock

Best Price:
Buy Interactive Theorem Proving for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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		$39.99	$39.99			$39.99		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783319431437

Condition

New

Product Description

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Available Colors

N/A

Available Sizes

N/A

Reviews

0 reviews

5 stars

4 stars

3 stars

2 stars

1 star

Questions & Answers

Similar Products

Resilienzfrderung bei Kindern unter drei Jahren

$64.99

Narrative Ethics in Public Health: The Value of Stories

$59.99

Distant Kinship

$84.99

The Sense of Taste

$24.99

Heldenbilder im Fernsehen

$59.99

Arthropods as Vectors of Emerging Diseases

$219.99

Difficult Decisions in Thoracic Surgery

$129.00

3D Printing of Optical Components

$179.99

Metal Soaps in Art

$119.00

Mathematische Statistik I

$49.99

Dixie and the Best Day Ever

$4.46

The Politics of Online Copyright Enforcement in the EU

$99.00

Agent-Based Technologies and Applications for Enterprise Interoperability

$69.99

Political Thought in Contemporary Shia Islam

$99.99

Cultural Psychology

$109.99

Blutkrankheiten

$44.99

Strategisches Internetmarketing

$89.99

The Minnesota Code Manual of Electrocardiographic Findings

$199.99

Proceedings of the 10th International Conference on Fracture Fatigue and Wear

$279.99

Julius Robert Mayers Kausalbegriff

$59.99

Atlas of Heart Anatomy and Development

$169.99

The Unofficial Hogwarts Cocktail Book: Spellbinding Spritzes, Fantastical Old Fashioneds, Magical Margaritas, and More Enchanting Recipes by Bertha Ba

$19.95