Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661818
Price: 23309 HUF
Availability: InStock
Author: Lennart Beringer
ISBN: 9783642323461

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lennart Beringer

Amy Felty

Language

English

Book Paperback

Libristo code: 01661818

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2012

This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Full description

Libristo code: 01661818

156 b

23 309 Ft

In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Im literarischen Grenzland Europas? Sarah Steidl

Paperback

5 291 Ft

Se débrouiller en néerlandais vite fait bien fait ! VASSEUR

Paperback

2 049 Ft

ORACLES CHALDAIQUES GEMISTE PLETHON Book

binding.

17 048 Ft

cluny musee national moyen age Book

Book

9 890 Ft

DIE SCHONBRUNNER OP. 200 JOSEPH LANNER Printed items

Sheet music

5 633 Ft

Akademia 4-latka praca zbiorowa

Paperback

639 Ft

REGIA AERONAUTICA - Raid e missioni speciali Robert Robison

Paperback

6 113 Ft

EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ

Paperback

11 791 Ft

Pokémon - Coloriages extraordinaires

Paperback

2 094 Ft

Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe

Hardback

8 365 Ft

BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford

Book

5 603 Ft

Johann Sebastian Bach: Concertos for Violin and Flute Audio

Audio CD

5 079 Ft

Ronaldo - Fotbalové ikony (komiks) Katarína Jančová

Paperback

3 871 Ft

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca

Paperback

11 578 Ft

Kvarteto Pohádky

Cards

1 064 Ft

August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast

Paperback

6 395 Ft

Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm

Paperback

6 395 Ft

Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil

Paperback

6 752 Ft

Internationale Projektfinanzierung Carola Schulz

Paperback

13 434 Ft

Conselhos gestores Serafim Correa Simone

Paperback

97 697 Ft

Koshiki Contact Karatedo Olaf Lotze-Leoni

Paperback

3 599 Ft

Obra-Jogo Rocha Aldene

Paperback

67 834 Ft

L'Héritière Hanne-Vibeke Holst

Paperback

4 485 Ft

Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor

Paperback

30 927 Ft

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.