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: 502.69 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 ▸

502.69 zł

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

Nawet do 30 dni na zwrot

Klienci kupili także

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

Miękka

47.16 zł

Die Edda - Götter- und Heldenlieder der Germanen Brynjólfur Sveinsson

Twarda

37.32 zł

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

Miękka

251.46 zł

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

Miękka

56.69 zł

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

Miękka

137.38 zł

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Książka

44.55 zł

Aufsuchende Soziale Arbeit Barbara Bräutigam

Miękka

132.16 zł

EL CORAZON DEL GUERRERO DEL SOL TAN

Miękka

90.92 zł

Haltestelle Brussel Hermann Bausinger

Miękka

85.10 zł

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Miękka

170.40 zł

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

Miękka

70.44 zł

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

Miękka

174.60 zł

Obstbau E. Voges

Miękka

77.77 zł

Nach Spanien Und Portugal H. Obersteiner

Miękka

116.41 zł

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

Miękka

29.60 zł

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

Twarda

79.78 zł

OTRO CUENTO NAVIDEÑO MERINO VERDUGO

Miękka

51.17 zł

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

Miękka

39.33 zł

Solo-Klaviermusik Vol.6 Miklos Spanyi

CD Audio

71.85 zł

Nitra Vladimír Barta

Twarda

147.82 zł

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

Miękka

284.81 zł

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

Miękka

81.48 zł

Politische Gesprache der Toten Anonymus

Miękka

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

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Interactive Theorem Proving

Autor Matt Kaufmann, Lawrence C. Paulson

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2010

Liczba stron 495

EAN 9783642140518

ISBN 3642140513

Kod Libristo 01656145

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

Waga 759

Wymiary 155 x 238 x 33

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka

Medycyna i opieka zdrowotna > Medycyna kliniczna i interna > Choroby i wady > Immunologia

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Interactive Theorem Proving and Program Development Yves Bertot

Twarda

524.97 zł

Interactive Video Riad Hammoud

Miękka

447.39 zł

Experimental Robotics Oussama Khatib

Miękka

893.49 zł

Interactive Theorem Proving Marko Van Eekelen

Miękka

254.70 zł

Interactive Technologies and Sociotechnical Systems Hongbin Zha

Miękka

254.70 zł

Europe in Autumn Dave Hutchinson

Miękka

37.72 zł

You Bantering Me? Chris Hughes

Miękka

72.15 zł

Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng

Twarda

129.45 zł

Rite of Rejection Sarah Negovetich

Miękka

52.77 zł

Oblomov Ivan Aleksandrovich Goncharov

Miękka

44.85 zł

Science vs. Bible vs. Quran (3) the Moon: The Quran preceded the modern sciences while the editors of the Bible contradict the sciences and corrupt th Dr Ibrahim Khalil Aly

Miękka

54.73 zł