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

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

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

Manual of Physical Status and Performance in Childhood

$54.99

Basiswissen Psychosomatische Medizin und Psychotherapie

$29.99

The calcitonin gene-related peptide family

$129.00

Mittheilungen aus den Kniglichen technischen Versuchsanstalten zu Berlin

$49.99

Die Lokomotiven der Chinesischen Eisenbahnen

$49.99

Regenerative Zuknfte und knstliche Intelligenz

$49.99

Little Piglets

$3.71

Polymeric Layers

$39.99

Expertensysteme

$59.99

Preventive Dermatology

$109.99

Fhrungsleben

$39.99

Advanced Decision Making Methods Applied to Health Care

$109.99

Genetics and Genomics of Papaya

$169.99

Australia in the Expanding Global Crisis

$54.99

Physik Formelsammlung

$29.99

Schriften zu Methodologie und Methoden qualitativer Sozialforschung

$49.99

Plurale Sozialstrukturanalyse

$59.99

Entwicklung einer Versuchsgasturbine zur Messung der Lufertemperaturen im Betrieb

$44.99

Reliable Post Disaster Services over Smartphone Based DTN

$129.99

ICG Fluorescence Imaging and Navigation Surgery

$169.99

Neutrons in Biology

$169.99

Welcome to Smellville (Garbage Pail Kids Series #1) by R. L. Stine

$14.99

Neurotransmitter Interaction and Compartmentation

$129.00

Advances in Condition Monitoring and Structural Health Monitoring

$469.00

Gamma-Glutamyl Transpeptidases

$54.99

A Chronology of the Byzantine Empire

$219.99

Becketts Masculinity

$54.99

Semantic Methods for Execution-level Business Process Modeling

$54.99

Community, Economy and COVID-19

$199.99

Computer Performance Engineering

$54.99

Wirtschaftsstandort Deutschland

$69.99

The Observers Sky Atlas

$74.99

Cardiovascular Biology of Purines

$329.99

Rorschach Assessment of Adolescents

$69.99

Emotionspsychologie

$59.99

Orthopaedics and Trauma

$299.99

Organolanthoid Chemistry: Synthesis, Structure, Catalysis

$84.99

ManMachineEnvironment System Engineering

$329.99

Cross-Cultural Dialogue as a Conflict Management Strategy

$129.00

Bridging Cultural Barriers

$49.99