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

Austrian Post 5.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.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: 01658528
Price: 56.89 EUR
Availability: InStock
Author: Marko Van Eekelen
ISBN: 9783642228629

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Language

English

Book Paperback

Libristo code: 01658528

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2011

This book constitutes the refereed proceedings of the Second International Conference on Interactive... Full description

Libristo code: 01658528

139 b

56.89 € VAT included

In stock at our supplier Shipping in 9-13 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin

Hardback

34.00 €

Ataque A Los Titanes 02. Antes De La Caida H. ISAYAMA

Paperback

8.59 €

Lothar jesteś mój Iwona Feldmann

Paperback

9.39 €

Commentaire Sur La Loi Du 29 Germinal an XI, Relative Aux Successions, Code Civil CHABOT-G-A

Paperback

21.39 €

Chromatic herbarium Massimo Gardone

Paperback

66.69 €

These Pour La Licence: Soutenue Publiquement A La Faculte de Droit de Strasbourg GAZIN-J

Paperback

13.19 €

Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil

Paperback

11.89 €

Pferdekrankheiten Wilfried Bellinghausen

Paperback

19.91 €

Manuale di un monaco buddhista per sconfiggere la paura degli altri. Tecniche per vivere meglio senza consumare la propria anima Keisuke (Shoukei) Matsumoto

Hardback

23.00 €

Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich

Paperback

17.95 €

Albert Einstein Johannes Wickert

Paperback

10.00 €

Aufgewacht, lieber Osterhase: Mein Oster-Mitmachbuch Anna Karina Birkenstock

Board book

5.79 €

Mi ketten - Egy év az erdőben Michael Engler

Hardback

11.89 €

Rossa e plebea. Pisa, mezzo secolo fa Luciano Luciani

Paperback

24.90 €

Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann

Paperback

9.90 €

Peter i Lena Dwa opowiadania Astrid Lindgren

Hardback

7.79 €

Инженерная педагогика в процессе подготовки специалистов для индустрии питания. Учебное пособие для вузов Л. А. Маюрникова

Paperback

17.39 €

"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter

Paperback

17.95 €

Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán

Paperback

43.99 €

Terror Ferdinand von Schirach

Paperback

12.00 €

Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Book

Book

21.49 €

Resume Des Debats Pour Les Proprietaires Opposants A l'Impot Des Egouts Sans Auteur

Paperback

11.19 €

Walt Disney Captivating History

Hardback

20.59 €

Chancen und Grenzen der "Foreign Policy Branding-Strategie in Katar Mayra Condemarin

Paperback

17.95 €

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.