Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Interactive Theorem Proving and Program Development Yves Bertot
Koda Libristo: 02129535
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Celoten opis
? points 276 b
113.47 €
Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

Do 30 dni za vračilo

Morda bi vas zanimalo tudi

Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Mehka
common.buy 80.40 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Knjiga Mehka
common.buy 57.18 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Knjiga Mehka
common.buy 30.55 €
Cold Aqueous Planetary Geochemistry with FREZCHEM Giles M. Marion / Knjiga Trda
common.buy 96.78 €
Interactive Video Riad Hammoud / Knjiga Mehka
common.buy 96.78 €
Interactive Theorem Proving Matt Kaufmann / Knjiga Mehka
common.buy 109.85 €
Interactive Theorem Proving Marko Van Eekelen / Knjiga Mehka
common.buy 55.67 €
Interactive Theorem Proving Lennart Beringer / Knjiga Mehka
common.buy 57.18 €
Dance of the Serpents Oscar de Muriel / Knjiga Mehka
common.buy 9.94 €
Deyrolle: French Botanical Art Emmanuelle Polle / Knjiga Mehka
common.buy 19.69 €
Relentless: 12 Rounds to Success Eddie Hearn / Knjiga Trda
common.buy 24.53 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Knjiga Mehka
common.buy 6.62 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Knjiga Mehka
common.buy 37.98 €
Lost Spells Robert Macfarlane / Knjiga Trda
common.buy 13.36 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Knjiga Mehka
common.buy 34.67 €
Fighters Across Frontiers Ismee Tames / Knjiga Trda
common.buy 37.18 €
Christopher Uptake Andrew Price / Knjiga Mehka
common.buy 10.14 €
In the Ruins of Neoliberalism Wendy Brown / Knjiga Mehka
common.buy 25.62 €
Cute Hand Lettering / Knjiga Mehka
common.buy 13.46 €
Recollections of My Non-Existence / Knjiga Trda
common.buy 13.36 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Knjiga Mehka
common.buy 9.94 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Knjiga Mehka
common.buy 11.75 €
Jaunt ERIK J KREFFEL / Knjiga Mehka
common.buy 21.50 €
Monsters of Men Patrick Ness / Knjiga Mehka
common.buy 9.04 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Interactive Theorem Proving and Program Development
Avtor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 2004
Število strani 472
EAN 9783540208549
ISBN 3540208542
Koda Libristo 02129535
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 912
Mere 163 x 239 x 36

Kategorije

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?