Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Celý popis
? points 276 b
2 761 Kč
Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Mohlo by vás také zajímat

Interactive Theorem Proving and Program Development Yves Bertot / Kniha Brožovaná
common.buy 1 958 Kč
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Kniha Brožovaná
common.buy 1 355 Kč
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Kniha Brožovaná
common.buy 744 Kč
Cold Aqueous Planetary Geochemistry with FREZCHEM Giles M. Marion / Kniha Pevná
common.buy 2 356 Kč
Interactive Video Riad Hammoud / Kniha Brožovaná
common.buy 2 356 Kč
Interactive Theorem Proving Matt Kaufmann / Kniha Brožovaná
common.buy 2 675 Kč
Interactive Theorem Proving Marko Van Eekelen / Kniha Brožovaná
common.buy 1 355 Kč
Interactive Theorem Proving Lennart Beringer / Kniha Brožovaná
common.buy 1 355 Kč
Dance of the Serpents Oscar de Muriel / Kniha Brožovaná
common.buy 243 Kč
Deyrolle: French Botanical Art Emmanuelle Polle / Kniha Brožovaná
common.buy 480 Kč
Relentless: 12 Rounds to Success Eddie Hearn / Kniha Pevná
common.buy 597 Kč
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Kniha Brožovaná
common.buy 160 Kč
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Kniha Brožovaná
common.buy 903 Kč
Lost Spells Robert Macfarlane / Kniha Pevná
common.buy 325 Kč
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Kniha Brožovaná
common.buy 843 Kč
Fighters Across Frontiers Ismee Tames / Kniha Pevná
common.buy 854 Kč
Christopher Uptake Andrew Price / Kniha Brožovaná
common.buy 243 Kč
In the Ruins of Neoliberalism Wendy Brown / Kniha Brožovaná
common.buy 587 Kč
Cute Hand Lettering / Kniha Brožovaná
common.buy 328 Kč
Recollections of My Non-Existence / Kniha Pevná
common.buy 325 Kč
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Kniha Brožovaná
common.buy 237 Kč
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Kniha Brožovaná
common.buy 279 Kč
Jaunt ERIK J KREFFEL / Kniha Brožovaná
common.buy 511 Kč
Monsters of Men Patrick Ness / Kniha Brožovaná
common.buy 219 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2004
Počet stran 472
EAN 9783540208549
ISBN 3540208542
Libristo kód 02129535
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 912
Rozměry 163 x 239 x 36

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?