Code: 01664057

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01664057
Price: 51.62 EUR
Availability: InStock
Author: Sandrine Blazy
ISBN: 9783642396335

by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Language: English
Binding: Paperback
Number of pages: 498
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
More about this

51.62 €

RRP: 55.89 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Zpět o sto let na výlet
3.53 € -13 %
Buy
Cinema of the 70s: 101 Iconic Movies
21.21 € -25 %
Buy
Diccionario visual inglés
13.83 € -9 %
Buy
Coches muy antiguos
19.69 € -10 %
Buy
How to Write Fanfiction
18.28 € -7 %
Buy
Angielski. Przewodnik językowy
13.23 € -11 %
Buy
Birds of Myanmar
50.20 €
Buy
Beyond 2.0
32.62 €
Buy
How Claims Spread
52.32 €
Buy
Der Kreis Husum
24.14 € -11 %
Buy
Desarrollar la inteligencia a través del ajedrez
15.65 €
Buy
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling
12.32 € -7 %
Buy
Brasilien im IBSA-Dialogforum
16.16 € -10 %
Buy
Interactive Theorem Proving
51.62 € -7 %
Buy
Manual práctico de Defensa Personal para mujeres
25.25 €
Buy
Time Series Analysis and Inverse Theory for Geophysicists
91.12 €
Buy
Aus der Praxis der Zuckerindustrie
13.53 € -10 %
Buy
Widerstand im totalitaren System - a priori chancenlos?
16.16 € -10 %
Buy
Clef
12.01 €
Buy
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living.
5.85 € -7 %
Buy
Journey to Meet Beethoven
10.30 € -2 %
Buy
Tide Running
21.11 €
Buy
USA und der internationale Klimaschutz
16.16 € -10 %
Buy
TEMARIO DE TROMBON
327.43 €
Buy
Horizons in Cancer Research
321.78 € -9 %
Buy
Jack Sprat Could
13.93 € -1 %
Buy
Kostenfalle Messe?
51.62 € -11 %
Buy
Beauchamp Hall
28.78 € -12 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

Book details

Book category Books in English Computing & information technology Computer programming / software development Algorithms & data structures

51.62 €

Full title: Interactive Theorem Proving
Subtitle: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Author: Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Language: English
Binding: Paperback
Number of pages: 498
EAN: 9783642396335
ISBN: 364239633X
ID: 01664057
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 777 g
Dimensions: 235 × 155 × 29 mm
Date of publishing: 15. June 2013