Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Język AngielskiAngielski
Książka Twarda
Książka Interactive Theorem Proving and Program Development Yves Bertot
Kod Libristo: 02129535
Wydawnictwo 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... Cały opis
? points 292 b
512.36 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Interactive Theorem Proving and Program Development Yves Bertot / Książka Miękka
common.buy 363.18 zł
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Książka Miękka
common.buy 247.94 zł
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Książka Miękka
common.buy 135.41 zł
Interactive Video Riad Hammoud / Książka Miękka
common.buy 436.67 zł
Interactive Theorem Proving Matt Kaufmann / Książka Miękka
common.buy 490.47 zł
Interactive Theorem Proving Marko Van Eekelen / Książka Miękka
common.buy 247.94 zł
Interactive Theorem Proving Lennart Beringer / Książka Miękka
common.buy 247.94 zł
Deyrolle: French Botanical Art Emmanuelle Polle / Książka Miękka
common.buy 90.44 zł
Dance of the Serpents Oscar de Muriel / Książka Miękka
common.buy 50.28 zł
Relentless: 12 Rounds to Success Eddie Hearn / Książka Twarda
common.buy 110.71 zł
Recollections of My Non-Existence / Książka Twarda
common.buy 59.92 zł
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Książka Miękka
common.buy 166.23 zł
TOP
Lost Spells Robert Macfarlane / Książka Twarda
common.buy 59.92 zł
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Książka Miękka
common.buy 150.47 zł
Fighters Across Frontiers Ismee Tames / Książka Twarda
common.buy 147.86 zł
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Książka Miękka
common.buy 28.60 zł
Cute Hand Lettering / Książka Miękka
common.buy 59.02 zł
Lego train adventure rhyming story book: riding a Lego train Kyle K / Książka Miękka
common.buy 43.76 zł
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Książka Miękka
common.buy 43.76 zł
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Książka Miękka
common.buy 51.49 zł
TOP
In the Ruins of Neoliberalism Wendy Brown / Książka Miękka
common.buy 116.14 zł
Layout Essentials Revised and Updated Beth Tondreau / Książka Miękka
common.buy 120.15 zł
TOP
Building Microservices Sam Newman / Książka Miękka
common.buy 253.87 zł
Across the Isthmus to California in '52 Sarah Merriam Brooks / Książka Miękka
common.buy 53.40 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Język Angielski
Oprawa Książka - Twarda
Data wydania 2004
Liczba stron 472
EAN 9783540208549
ISBN 3540208542
Kod Libristo 02129535
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 912
Wymiary 163 x 239 x 36

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo