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: 500.2 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

Gwarancja
najlepszej
ceny ▸

500.20 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Obstbau E. Voges

Miękka

77.59 zł

Haltestelle Brussel Hermann Bausinger

Miękka

84.66 zł

Participación de las empresas en la comunidad (CCE) en la industria minera de Zimbabue

Miękka

250.20 zł

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

Miękka

46.06 zł

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

Miękka

55.58 zł

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

Miękka

137.58 zł

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Książka

40.33 zł

Aufsuchende Soziale Arbeit Barbara Bräutigam

Miękka

131.54 zł

EL CORAZON DEL GUERRERO DEL SOL TAN

Miękka

81.99 zł

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Miękka

169.53 zł

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

Miękka

173.72 zł

Nitra Vladimír Barta

Twarda

147.11 zł

Nach Spanien Und Portugal H. Obersteiner

Miękka

115.78 zł

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

Miękka

29.47 zł

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

Twarda

79.33 zł

OTRO CUENTO NAVIDEÑO MERINO VERDUGO

Miękka

46.98 zł

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

Miękka

39.10 zł

Solo-Klaviermusik Vol.6 Miklos Spanyi

CD Audio

71.45 zł

Politische Gesprache der Toten Anonymus

Miękka

154.17 zł

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

Miękka

64.49 zł

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

Miękka

292.17 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.