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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Recent Advances in Intrusion Detection

$54.99

A Practical Guide to Pharmacological Biotechnology

$89.99

MARS Applications in Geotechnical Engineering Systems

$84.99

Endogenous Market Structures and the Macroeconomy

$129.00

Mister Magic - A Novel by Kiersten White

$28.00

FPGA-based Digital Convolution for Wireless Applications

$139.99

Qualittssicherung durch Softwaretests

$37.99

Gesammelte Mathematische Werke, Wissenschaftlicher Nachlass und Nachtrge - Collected Papers

$79.99

The Biology of Fungi

$54.99

Die Steuerung der Materialbewegung in Fabriken mit Einzel- und Massen-Fertigung

$59.99

Qualittsbezogene Betriebsvergleiche im ffentlichen Personennahverkehr Nordrhein-Westfalens

$59.99

Elementary Galois Theory

$54.99

Attribute Grammars

$39.99

Politics, Society and the Middle Class in Modern Ireland

$54.99

Advances in Image and Video Technology

$129.00

Bye, Penguin!

$5.96

Perspectives in Business Informatics Research

$54.99

Identity, Meaning, and Subjectivity in Career Development

$99.00

Cluster-Based Industrial Development

$54.99

Computer Algebra in Scientific Computing

$79.99

Multi-Output Production and Duality: Theory and Applications

$129.00

Chinese Literature in the World

$119.00

Datenschutz

$29.99

Dismantling the Memory Machine

$39.99

Masculine Power and Gender Equality: Masculinities as Change Agents

$109.99

Lipid Mediators in the Immunology of Shock

$39.99

Ein denotationales Modell fr parallele objektbasierte Systeme

$44.99

Steel Plate Shear Walls with Gravity Load: Theory and Design

$139.99

Non-Pushing PCI Techniques

$169.99

Reagans Mythical America

$39.99

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management

$79.99

Biological Magnetic Resonance

$84.99

Biological Effects of Magnetic Fields

$54.99

Spring Stinks

$5.96

Taschenbuch der Angewandten Psychoakustik

$64.99

Recent Advances in Operator Theory and Related Topics

$129.00

Low Carbon Energy in the Middle East and North Africa

$139.99

Recovery Risk in Credit Default Swap Premia

$54.99

Two Miserable Presidents

$9.71

Student Learning in German Higher Education

$99.99