Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Interactive Theorem Proving

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

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

Matt Kaufmann

Lawrence C. Paulson

Język

Angielski

Książka Miękka

Kod Libristo: 01656145

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2010

This book constitutes the refereed proceedings of the First International Conference on Interactive... Cały opis

Kod Libristo: 01656145

280 b

490.47 zł

Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

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

Miękka

28.90 zł

Obstbau E. Voges

Miękka

76.08 zł

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

Miękka

170.34 zł

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

Miękka

68.65 zł

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Miękka

166.23 zł

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

Miękka

135.11 zł

Nitra Vladimír Barta

Twarda

143.64 zł

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Książka

44.16 zł

Nach Spanien Und Portugal H. Obersteiner

Miękka

113.53 zł

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

Twarda

77.79 zł

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

Miękka

38.34 zł

Haltestelle Brussel Hermann Bausinger

Miękka

83.01 zł

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

Miękka

264.00 zł

Politische Gesprache der Toten Anonymus

Miękka

151.17 zł

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

Miękka

63.03 zł

Solo-Klaviermusik Vol.6 Miklos Spanyi

CD Audio

70.06 zł

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

Miękka

65.84 zł

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

Miękka

54.00 zł

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.