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

Interfacing Geostatstics and GIS

$169.99

Kriege ohne Grenzen

$59.99

Transferability of Fracture Mechanical Characteristics

$54.99

The Power of Un

$4.49

Auswirkungen demographischer Prozesse auf die Berufe und die Kosten im Gesundheitswesen

$69.99

Nondestructive Characterization of Materials

$84.99

Psychological Perspectives on Reality, Consciousness and Paranormal Experience

$109.99

Schicht- und Nachtarbeit im Betrieb

$59.99

Advances in Nonlinear Dynamics, Volume I

$299.99

Kristallstrukturen zweikomponentiger Phasen

$49.99

Stoffaufnahme von in vitro gezchteten Zellen, unter besonderer Bercksichtigung von Phagocytose und

$54.99

Gender and Corruption

$179.99

Behinderung der Schiffsgeschwindigkeit durch Bewuchs

$54.99

Numerical Algorithms with C

$39.99

Muslims and Jews in America

$109.99

Heart Valves

$169.99

The Characteristics of Chinese Cultural Spirit

$99.99

Design of Demining Machines

$109.99

Psychologische Heilkunde

$19.99

Intangible Impairment

$69.99

Category Theory

$34.99

Digital Libraries: Providing Quality Information

$54.99

Lebenslauf und Sozialisation

$29.99

Spectral Analysis of Nonlinear Operators

$39.99

The Indian Nationalist Movement 1885-1947: Select Documents

$79.99

Die Rolle von Unternehmen im IFRS-Standardsetzungsprozess

$49.99

What Is a Friend?

$3.71

The Gates of Gaza

$109.99

Information Infrastructure Systems for Manufacturing II

$169.99

Advances in Bioinformatics and Computational Biology

$54.99

Distributed Graph Analytics

$169.00

Acute Peripheral Vascular Surgery

$39.99

Now I Know: Seeds

$4.46

Crow Boy

$6.50

Design and Implementation of Symbolic Computation Systems

$39.99

Optimization of Distributed Parameter Structures Volume I

$54.99

Neo-Colonial Injustice and the Mass Imprisonment of Indigenous Women

$109.00

After the Empires

$54.99

Linear Fractional Diffusion-Wave Equation for Scientists and Engineers

$54.99

Handbook of Phenomenology and Medicine

$219.99