A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
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ó
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS pont 1 390 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 790 Ft
phone Kapcsolat phoneHogyan vásároljunk
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 and Program Development

Coq'Art: The Calculus of Inductive Constructions

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 318 b
46 578 Ft
Beszállítói készleten Küldés 10-13 napon belül

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

Ezt is ajánljuk

Interactive Theorem Proving and Program Development Yves Bertot / Könyv Puha kötésű
common.buy 33 025 Ft
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Könyv Puha kötésű
common.buy 21 277 Ft
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Könyv Puha kötésű
common.buy 12 436 Ft
Interactive Video Riad Hammoud / Könyv Puha kötésű
common.buy 39 624 Ft
Interactive Theorem Proving Matt Kaufmann / Könyv Puha kötésű
common.buy 43 856 Ft
Interactive Theorem Proving Marko Van Eekelen / Könyv Puha kötésű
common.buy 21 277 Ft
Interactive Theorem Proving Lennart Beringer / Könyv Puha kötésű
common.buy 21 277 Ft
Deyrolle: French Botanical Art Emmanuelle Polle / Könyv Puha kötésű
common.buy 7 549 Ft
Dance of the Serpents Oscar de Muriel / Könyv Puha kötésű
common.buy 4 476 Ft
Relentless: 12 Rounds to Success Eddie Hearn / Könyv Kemény kötésű
common.buy 10 069 Ft
Recollections of My Non-Existence / Könyv Kemény kötésű
common.buy 5 574 Ft
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Könyv Puha kötésű
common.buy 14 955 Ft
Toplistás
Lost Spells Robert Macfarlane / Könyv Kemény kötésű
common.buy 5 574 Ft
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Könyv Puha kötésű
common.buy 13 682 Ft
Fighters Across Frontiers Ismee Tames / Könyv Kemény kötésű
common.buy 13 797 Ft
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Könyv Puha kötésű
common.buy 2 575 Ft
Cute Hand Lettering / Könyv Puha kötésű
common.buy 5 371 Ft
Lego train adventure rhyming story book: riding a Lego train Kyle K / Könyv Puha kötésű
common.buy 3 950 Ft
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Könyv Puha kötésű
common.buy 3 950 Ft
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Könyv Puha kötésű
common.buy 4 651 Ft
Toplistás
In the Ruins of Neoliberalism Wendy Brown / Könyv Puha kötésű
common.buy 10 244 Ft
Layout Essentials Revised and Updated Beth Tondreau / Könyv Puha kötésű
common.buy 10 858 Ft
Toplistás
Building Microservices Sam Newman / Könyv Puha kötésű
common.buy 23 326 Ft
Across the Isthmus to California in '52 Sarah Merriam Brooks / Könyv Puha kötésű
common.buy 4 887 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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
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 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