phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Interactive Theorem Proving

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving Matt Kaufmann
Libristo kód: 01656145
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, června 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Celý popis
? points 282 b
2 816 Kč
50 % šance Prohledáme celý svět Kdy knihu dostanu?

30 dní na vrácení zboží

Mohlo by vás také zajímat

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Brožovaná
common.buy 160 Kč
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Brožovaná
common.buy 1 296 Kč
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Brožovaná
common.buy 3 019 Kč
Voyage of Discovery and Research in the Southern and Antarctic Regions, during the Years 1839-43 James Clark Ross / Brožovaná
common.buy 1 992 Kč
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Brožovaná
common.buy 1 174 Kč
From The Sun To The Stars James B. Kaler / Brožovaná
common.buy 1 009 Kč
Astrophysical Plasmas and Fluids Vinod Krishan / Pevná
common.buy 3 029 Kč
Bringing Ritual to Mind Robert N. McCauleyE. Thomas Lawson / Brožovaná
common.buy 1 054 Kč
Experimental Robotics Oussama Khatib / Brožovaná
common.buy 6 578 Kč
After Many Years William Emerton Heitland / Brožovaná
common.buy 1 238 Kč
Sämtliche Werke - Stuttgarter Ausgabe. Bd. 3 - Prosa 1 (Sämtliche Werke - Stuttgarter Ausgabe, Bd. 3). Tl.1 Gottfried Benn / Pevná
common.buy 849 Kč
Obstbau E. Voges / Brožovaná
common.buy 698 Kč
Nach Spanien Und Portugal H. Obersteiner / Brožovaná
common.buy 1 360 Kč

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.

Informace o knize

Plný název Interactive Theorem Proving
Autor Matt Kaufmann, Lawrence C. Paulson
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 495
EAN 9783642140518
ISBN 3642140513
Libristo kód 01656145
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 759
Rozměry 155 x 238 x 33

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Medicína a ošetřovatelství > Klinická a interní medicína > Nemoci a poruchy > Imunologie
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet