phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Interactive Theorem Proving

Język AngielskiAngielski
Książka Miękka
Książka Interactive Theorem Proving Matt Kaufmann
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
? points 309 b
527.56 zł
Dostępna u dostawcy Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Miękka
common.buy 28.15 zł
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Miękka
common.buy 467.93 zł
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Miękka
common.buy 182.19 zł
Voyage of Discovery and Research in the Southern and Antarctic Regions, during the Years 1839-43 James Clark Ross / Miękka
common.buy 313.78 zł
From The Sun To The Stars James B. Kaler / Miękka
common.buy 158.64 zł
Astrophysical Plasmas and Fluids Vinod Krishan / Twarda
common.buy 475.64 zł
Experimental Robotics Oussama Khatib / Miękka
common.buy 1 030.17 zł
Nach Spanien Und Portugal H. Obersteiner / Miękka
common.buy 211.06 zł
Obstbau E. Voges / Miękka
common.buy 108.43 zł
Bringing Ritual to Mind Robert N. McCauleyE. Thomas Lawson / Miękka
common.buy 165.16 zł
Sämtliche Werke - Stuttgarter Ausgabe. Bd. 3 - Prosa 1 (Sämtliche Werke - Stuttgarter Ausgabe, Bd. 3). Tl.1 Gottfried Benn / Twarda
common.buy 152.53 zł
After Many Years William Emerton Heitland / Miękka
common.buy 195.22 zł
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Miękka
common.buy 203.94 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.

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

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo