[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

Certified Programs and Proofs

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Certified Programs and Proofs Chris Hawblitzel
Libristo kód: 01662768
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2012
This book constitutes the refereed proceedings of the Second International Conference on Certified P... 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

EFT - svoboda emocí Ramona B. Wagner / Puha kötésű
common.buy 1 210 Ft
Zkouška Jarmila Uždilová / Puha kötésű
common.buy 3 250 Ft
Dark Tort Diane Mott Davidson / Puha kötésű
common.buy 3 214 Ft
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / Puha kötésű
common.buy 13 903 Ft
Understanding Language Teaching: Reasoning in Action Karen E. Johnson / Puha kötésű
common.buy 25 310 Ft
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / Puha kötésű
common.buy 9 307 Ft
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / Puha kötésű
common.buy 15 972 Ft
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / Puha kötésű
common.buy 15 470 Ft
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Lap
common.buy 7 514 Ft

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.§The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

Információ a könyvről

Teljes megnevezés Certified Programs and Proofs
Szerző Chris Hawblitzel, Dale Miller
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2012
Oldalszám 305
EAN 9783642353079
ISBN 364235307X
Libristo kód 01662768
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 486
Méretek 155 x 235 x 18

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
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
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é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