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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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: 01658528
Price: 21311 HUF
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

145 b

21 311 Ft

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

30-day return policy

Customers also purchased

Pferdekrankheiten Wilfried Bellinghausen

Paperback

6 961 Ft

Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci

Paperback

5 643 Ft

Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin

Hardback

11 166 Ft

Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich

Paperback

6 272 Ft

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

Paperback

3 517 Ft

Chromatic herbarium Massimo Gardone

Paperback

26 030 Ft

Albert Einstein Johannes Wickert

Paperback

3 545 Ft

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

Book

8 883 Ft

Walt Disney Captivating History

Hardback

8 444 Ft

Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa

Paperback

3 443 Ft

BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack

Paperback

4 659 Ft

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

Paperback

17 267 Ft

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

Paperback

6 272 Ft

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

Paperback

4 747 Ft

Ridiculum Vitae Orta

Paperback

4 747 Ft

Terror Ferdinand von Schirach

Paperback

4 234 Ft

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.