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: 01656145
Price: 43856 HUF
Availability: InStock
Author: Matt Kaufmann
ISBN: 9783642140518

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Matt Kaufmann

Lawrence C. Paulson

Language

English

Book Paperback

Libristo code: 01656145

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2010

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

Libristo code: 01656145

300 b

43 856 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze

Paperback

2 413 Ft

Obstbau E. Voges

Paperback

6 949 Ft

Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen

Paperback

15 569 Ft

Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener

Paperback

6 262 Ft

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Paperback

15 172 Ft

Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger

Paperback

11 282 Ft

Nitra Vladimír Barta

Hardback

11 998 Ft

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Book

3 687 Ft

Nach Spanien Und Portugal H. Obersteiner

Paperback

10 373 Ft

Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков

Hardback

6 497 Ft

Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles

Paperback

3 512 Ft

Haltestelle Brussel Hermann Bausinger

Paperback

7 595 Ft

Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo

Paperback

24 129 Ft

Politische Gesprache der Toten Anonymus

Paperback

13 811 Ft

Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch

Paperback

5 270 Ft

Solo-Klaviermusik Vol.6 Miklos Spanyi

Audio CD

6 220 Ft

Une Page de l'Histoire de Napoleon 1er Le Moine-O

Paperback

5 925 Ft

Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur

Paperback

4 859 Ft

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, 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.