phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Interactive Theorem Proving and Program Development

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ětna 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Celý popis
? points 331 b
3 309 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Continuous Discovery Habits Teresa Torres / Brožovaná
common.buy 423 Kč
Crush Tracy Wolff / Brožovaná
common.buy 274 Kč
Lost Spells Robert Macfarlane / Pevná
common.buy 386 Kč
Invention and Innovation / Pevná
common.buy 555 Kč
From Head to Toe Eric Carle / Brožovaná
common.buy 173 Kč
Soled Out: The Golden Age of Sneaker Advertising SNEAKER FREAKER / Pevná
common.buy 1 333 Kč
Notes on Heartbreak Annie Lord / Brožovaná
common.buy 269 Kč
Proof Theory Takeuti / Brožovaná
common.buy 524 Kč
Basic Proof Theory Anne S. Troelstra / Brožovaná
common.buy 1 656 Kč
Layout Essentials Revised and Updated Beth Tondreau / Brožovaná
common.buy 482 Kč
Complete Guide to Machine Knitting: From the Thread to the Finished Garment / Brožovaná
common.buy 824 Kč
Výprodej
Interactive Theorem Proving and Program Development Yves Bertot / Brožovaná
common.buy 1 831 Kč
Type Theory and Formal Proof Rob Nederpelt / Pevná
common.buy 2 395 Kč
In the Ruins of Neoliberalism Wendy Brown / Brožovaná
common.buy 599 Kč
Recollections of My Non-Existence / Pevná
common.buy 396 Kč
Relentless: 12 Rounds to Success Eddie Hearn / Pevná
common.buy 579 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.

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