[email protected]
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 Packeta 990 Ft GLS futár 1 590 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Interactive Theorem Proving

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Interactive Theorem Proving Christian Urban
Libristo kód: 09378411
Kiadó Springer International Publishing AG, augusztus 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Teljes leírás
? points 154 b
24 164 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

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

Ezt is ajánljuk

Harmony in Chopin David Damschroder / Puha kötésű
common.buy 18 047 Ft
God's Not Dead Adult Study Guide Rice Broocks / Puha kötésű
common.buy 4 566 Ft
Deus Comedieta Tade Bolade / Puha kötésű
common.buy 5 209 Ft
Poetry of Being Vaidehi Raipat / Puha kötésű
common.buy 2 697 Ft
And All for What? D.W.J. Cuddeford / Kemény kötésű
common.buy 19 614 Ft
Klementina von Porretta Christoph Martin Wieland / Puha kötésű
common.buy 6 575 Ft
hamarosan
Khaqani, Poet-Philosopher of Medieval Persia Alireza Korangy / Puha kötésű
common.buy 43 181 Ft
Brooklyn Heights Sublet Jonah Cohen / Puha kötésű
common.buy 10 558 Ft
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Kotta
common.buy 9 257 Ft
Strandgut Tanja Korf / Puha kötésű
common.buy 9 810 Ft
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Kemény kötésű
common.buy 38 585 Ft
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Puha kötésű
common.buy 18 403 Ft
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Puha kötésű
common.buy 13 873 Ft

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Információ a könyvről

Teljes megnevezés Interactive Theorem Proving
Szerző Christian Urban, Xingyuan Zhang
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 469
EAN 9783319221014
ISBN 3319221019
Libristo kód 09378411
Kiadó Springer International Publishing AG
Súly 7256
Méretek 155 x 235 x 28

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
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 > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció > Hálózatbiztonság
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
Számítástechnika és információtechnológia > Számítógépbiztonság
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