Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656145
Price: 110.44 EUR
Availability: InStock
Author: Matt Kaufmann
ISBN: 9783642140518

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

Matt Kaufmann

Lawrence C. Paulson

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01656145

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2010

This book constitutes the refereed proceedings of the First International Conference on Interactive... Celoten opis

Koda Libristo: 01656145

267 b

110.44 €

Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

Mehka

6.05 €

Obstbau E. Voges

Mehka

16.87 €

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

Mehka

37.78 €

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

Mehka

15.25 €

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Mehka

36.87 €

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

Mehka

28.69 €

Nitra Vladimír Barta

Trda

29.80 €

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Knjiga

9.49 €

Nach Spanien Und Portugal H. Obersteiner

Mehka

25.15 €

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

Trda

16.26 €

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

Mehka

8.48 €

Haltestelle Brussel Hermann Bausinger

Mehka

18.38 €

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

Mehka

58.60 €

Politische Gesprache der Toten Anonymus

Mehka

33.54 €

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

Mehka

13.23 €

Solo-Klaviermusik Vol.6 Miklos Spanyi

Zvočni CD

15.55 €

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

Mehka

14.74 €

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

Mehka

12.12 €

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.