Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes regisztráció
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft
DPD futárszolgálat 1 190 Ft
GLS pont 1 190 Ft
Magyar Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Magyar Posta 1 690 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
GLS futár 1 690 Ft
Kapcsolat
Hogyan vásároljunk
Segítség
Kézbesítés
DPD gyűjtőpont 990 Ft
DPD futárszolgálat 1 190 Ft
GLS pont 1 190 Ft
Magyar Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Magyar Posta 1 690 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
GLS futár 1 690 Ft
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
+36 9 6998 040
Saját fiók
▸
Üres :-(
0
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Nyelv
Angol
Angol
Könyv
Puha kötésű
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Th...
Teljes leírás
Libristo kód: 13496516
?
136 b
136 b
20 383
Ft
Beszállítói készleten
Küldés 5-8 napon belül
Akár 30 napos visszaküldési lehetőség
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. § The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Színésznő
&
Poliglott
EWA KASP
részére
A videó lejátszása
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.
Információ a könyvről
Teljes megnevezés
Interactive Theorem Proving
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2016
Oldalszám
502
EAN
9783319431437
ISBN
3319431439
Libristo kód
13496516
Súly
7781
Méretek
155 x 235 x 29
Kategória
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
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
Libroamiko könyvtanácsadó
A chat használatával generatív mesterséges intelligenciával kommunikálsz. A használatával beleegyezel a személyes adatok kezelésébe is.
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?
Szia, Libroamiko vagyok, segíthetek?