Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Interactive Theorem Proving and Program Development Yves Bertot
Libristo kod: 02129535
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, svibanj 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Cijeli opis
? points 292 b
120.90 €
Vanjske zalihe Šaljemo za 10-13 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2004
Broj stranica 472
EAN 9783540208549
ISBN 3540208542
Libristo kod 02129535
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 912
Dimenzije 163 x 239 x 36

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun