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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661818
Price: 58.54 EUR
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

141 b

58.54 €

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

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

Paperback

27.04 €

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

Paperback

6.98 €

ORACLES CHALDAIQUES GEMISTE PLETHON Book

binding.

48.21 €

REGIA AERONAUTICA - Raid e missioni speciali Robert Robison

Paperback

15.49 €

EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ

Paperback

29.87 €

Pokémon - Coloriages extraordinaires

Paperback

6.88 €

Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe

Hardback

29.37 €

BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford

Book

14.07 €

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

Paperback

10.73 €

cluny musee national moyen age Book

Book

28.46 €

Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston

Paperback

51.55 €

Dunkelgraf Ludwig Bechstein

Paperback

35.75 €

Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo

Paperback

49.02 €

Essais d'Impressions En Couleurs SANS AUTEUR

Paperback

13.67 €

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

Paperback

78.30 €

Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges

Hardback

14.27 €

Obra-Jogo Rocha Aldene

Paperback

49.02 €

Koshiki Contact Karatedo Olaf Lotze-Leoni

Paperback

9.11 €

Internationale Projektfinanzierung Carola Schulz

Paperback

34.03 €

Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil

Paperback

17.11 €

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

Paperback

16.20 €

Angličtina pro překladatele Jarmila Prošvicová

Book

9.01 €

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.