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 GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Interactive Theorem Proving and Program Development

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Interactive Theorem Proving and Program Development Yves Bertot
Libristo kód: 02129535
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, május 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Teljes leírás
? points 361 b
56 831 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

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

Ezt is ajánljuk

toplistás
Continuous Discovery Habits Teresa Torres / Puha kötésű
common.buy 7 557 Ft
Crush Tracy Wolff / Puha kötésű
common.buy 4 816 Ft
Invention and Innovation / Kemény kötésű
common.buy 8 922 Ft
Lost Spells Robert Macfarlane / Kemény kötésű
common.buy 6 076 Ft
From Head to Toe Eric Carle / Puha kötésű
common.buy 4 045 Ft
Notes on Heartbreak Annie Lord / Puha kötésű
common.buy 4 232 Ft
Sketching from the Imagination 3dTotal / Puha kötésű
common.buy 12 116 Ft
Soled Out: The Golden Age of Sneaker Advertising SNEAKER FREAKER / Kemény kötésű
common.buy 20 977 Ft
Layout Essentials Revised and Updated Beth Tondreau / Puha kötésű
common.buy 8 655 Ft
Complete Guide to Machine Knitting: From the Thread to the Finished Garment / Puha kötésű
common.buy 14 559 Ft
kiárusítás
Interactive Theorem Proving and Program Development Yves Bertot / Puha kötésű
common.buy 28 816 Ft
Unfortunately Yours / Puha kötésű
common.buy 6 927 Ft
In the Ruins of Neoliberalism Wendy Brown / Puha kötésű
common.buy 10 086 Ft
Recollections of My Non-Existence / Kemény kötésű
common.buy 7 068 Ft
Lego train adventure rhyming story book: riding a Lego train Kyle K / Puha kötésű
common.buy 4 751 Ft
Relentless: 12 Rounds to Success Eddie Hearn / Kemény kötésű
common.buy 9 113 Ft

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Információ a könyvről

Teljes megnevezés Interactive Theorem Proving and Program Development
Szerző Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2004
Oldalszám 472
EAN 9783540208549
ISBN 3540208542
Libristo kód 02129535
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 912
Méretek 163 x 239 x 36

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány
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 > Rendszeranalízis és rendszerdizájn
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 > Operációs rendszerek
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