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

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical foundations and implementation aspects of the technology, as well as applications to verifying hardware and software systems to ensure their safety and security, and applications to the formal verication of mathematical results. Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Available Colors
Available Sizes
1 Offer Price Range: $79.99 - $79.99
BEST PRICE

Single Product Purchase

$79.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
$79.99 $79.99

$79.99
See Site In stock Visit Store

Similar Products

Carry and Learn Colors

$5.21

Art in the Making

$129.99

Direction of Time

$54.99

Nanotribology and Nanomechanics I

$54.99

Social Capital and Local Development

$139.00

Molecular Biology of Membranes

$169.99

Stochastic Analysis and Applications

$29.99

Chemie mit Licht

$37.99

Linear Algebra with Applications to Economics

$54.99

Soziale Innovationen in Deutschland

$39.99

Progress in Nanophotonics 3

$39.99

Modeling and Optimization: Theory and Applications

$109.99

The Personality of Henry Cavendish - A Great Scientist with Extraordinary Peculiarities

$139.99

Neonatal Immunity

$129.00

Worldly Leadership

$109.99

Understanding Human Development

$179.99

Sustainable Fibres for Fashion Industry

$109.99

Internet of Things and Big Data Analytics Toward Next-Generation Intelligence

$279.99

Big Queues

$39.99

Species Survival in Fragmented Landscapes

$219.99

Novel Foods in the European Union

$59.99

State and Local Government Reforms in France and Germany

$44.99

Labour and the Failure of Reform in China

$54.99

Austria in the First Cold War, 1945-55

$169.99

Tools for Teaching Logic

$39.99

ber das Kriechen von Zementstein, Mrtel und Beton

$59.99

Biology, History, and Natural Philosophy

$54.99

The Rational Expectation Hypothesis, Time-Varying Parameters and Adaptive Control

$84.99

Iraqs Last Jews

$29.99

Developments and Advances in Defense and Security

$189.00

Genesis and Propagation of Cosmic Rays

$219.99

Organic Molecular Crystals

$39.99

Nanomaterials and Their Biomedical Applications

$199.99

Pro HTML5 Programming

$49.99

Rookie Biographies: Bessie Coleman

$4.46

The Fundamental Theorem of Algebra

$49.99

Economics of Natural Resources, the Environment and Policies

$54.99

konomische Grundlagen des Haftungsrechts

$49.99

The Battle for the White House

$84.99

Towards Sustainable Artificial Intelligence

$54.99