Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Interactive Theorem Proving and Program Development Yves Bertot
Libristo kód: 02129535
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Celý popis
? points 292 b
120.90 €
Skladom u dodávateľa Odosielame za 10-13 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Interactive Theorem Proving and Program Development Yves Bertot / Kniha Brožovaná
common.buy 85.69 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Kniha Brožovaná
common.buy 55.84 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Kniha Brožovaná
common.buy 29.94 €
Interactive Video Riad Hammoud / Kniha Brožovaná
common.buy 102.99 €
Interactive Theorem Proving Matt Kaufmann / Kniha Brožovaná
common.buy 110.58 €
Interactive Theorem Proving Marko Van Eekelen / Kniha Brožovaná
common.buy 55.84 €
Interactive Theorem Proving Lennart Beringer / Kniha Brožovaná
common.buy 55.84 €
Deyrolle: French Botanical Art Emmanuelle Polle / Kniha Brožovaná
common.buy 21.34 €
Dance of the Serpents Oscar de Muriel / Kniha Brožovaná
common.buy 11.83 €
Relentless: 12 Rounds to Success Eddie Hearn / Kniha Pevná
common.buy 26.09 €
Recollections of My Non-Existence / Kniha Pevná
common.buy 14.16 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Kniha Brožovaná
common.buy 37.32 €
Top
Lost Spells Robert Macfarlane / Kniha Pevná
common.buy 15.77 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Kniha Brožovaná
common.buy 35.50 €
Fighters Across Frontiers Ismee Tames / Kniha Pevná
common.buy 36.92 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Kniha Brožovaná
common.buy 6.36 €
Cute Hand Lettering / Kniha Brožovaná
common.buy 13.95 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Kniha Brožovaná
common.buy 9.80 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Kniha Brožovaná
common.buy 9.80 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Kniha Brožovaná
common.buy 11.52 €
Top
In the Ruins of Neoliberalism Wendy Brown / Kniha Brožovaná
common.buy 25.79 €
Layout Essentials Revised and Updated Beth Tondreau / Kniha Brožovaná
common.buy 25.49 €
Top
Building Microservices Sam Newman / Kniha Brožovaná
common.buy 56.55 €
Across the Isthmus to California in '52 Sarah Merriam Brooks / Kniha Brožovaná
common.buy 12.64 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2004
Počet strán 472
EAN 9783540208549
ISBN 3540208542
Libristo kód 02129535
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 912
Rozmery 163 x 239 x 36

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet