phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft
phone Kapcsolat phoneHogyan vásároljunk

Interactive Theorem Proving

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Interactive Theorem Proving Matt Kaufmann
Libristo kód: 01656145
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Teljes leírás
? points 282 b
43 821 Ft
50 % esély Keressük az egész világon Mikor kapom meg a terméket?

30 nap a termék visszaküldésére

Ezt is ajánljuk

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Puha kötésű
common.buy 2 565 Ft
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Puha kötésű
common.buy 20 169 Ft
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Puha kötésű
common.buy 46 979 Ft
Voyage of Discovery and Research in the Southern and Antarctic Regions, during the Years 1839-43 James Clark Ross / Puha kötésű
common.buy 30 999 Ft
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Puha kötésű
common.buy 18 272 Ft
From The Sun To The Stars James B. Kaler / Puha kötésű
common.buy 15 701 Ft
Astrophysical Plasmas and Fluids Vinod Krishan / Kemény kötésű
common.buy 47 138 Ft
Bringing Ritual to Mind Robert N. McCauleyE. Thomas Lawson / Puha kötésű
common.buy 16 404 Ft
Experimental Robotics Oussama Khatib / Puha kötésű
common.buy 102 366 Ft
After Many Years William Emerton Heitland / Puha kötésű
common.buy 19 268 Ft
Sämtliche Werke - Stuttgarter Ausgabe. Bd. 3 - Prosa 1 (Sämtliche Werke - Stuttgarter Ausgabe, Bd. 3). Tl.1 Gottfried Benn / Kemény kötésű
common.buy 13 211 Ft
Obstbau E. Voges / Puha kötésű
common.buy 10 864 Ft
Nach Spanien Und Portugal H. Obersteiner / Puha kötésű
common.buy 21 166 Ft

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.

Információ a könyvről

Teljes megnevezés Interactive Theorem Proving
Szerző Matt Kaufmann, Lawrence C. Paulson
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2010
Oldalszám 495
EAN 9783642140518
ISBN 3642140513
Libristo kód 01656145
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 759
Méretek 155 x 238 x 33

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Orvostudomány és ápolás > Klinikai és belorvostan > Betegségek és rendellenességek > Immunológia
Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása