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 Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
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
522.52 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

Nawet do 30 dni na zwrot

Mogłoby Cię także zainteresować

Interactive Theorem Proving and Program Development Yves Bertot / Książka Miękka
common.buy 370.39 zł
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Książka Miękka
common.buy 252.66 zł
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Książka Miękka
common.buy 138.10 zł
Interactive Video Riad Hammoud / Książka Miękka
common.buy 445.33 zł
Interactive Theorem Proving Matt Kaufmann / Książka Miękka
common.buy 500.20 zł
Interactive Theorem Proving Marko Van Eekelen / Książka Miękka
common.buy 252.66 zł
Interactive Theorem Proving Lennart Beringer / Książka Miękka
common.buy 252.66 zł
Dance of the Serpents Oscar de Muriel / Książka Miękka
common.buy 46.78 zł
Deyrolle: French Botanical Art Emmanuelle Polle / Książka Miękka
common.buy 78.10 zł
Relentless: 12 Rounds to Success Eddie Hearn / Książka Twarda
common.buy 112.91 zł
Cute Hand Lettering / Książka Miękka
common.buy 60.19 zł
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Książka Miękka
common.buy 169.53 zł
TOP
Lost Spells Robert Macfarlane / Książka Twarda
common.buy 62.54 zł
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Książka Miękka
common.buy 157.65 zł
Fighters Across Frontiers Ismee Tames / Książka Twarda
common.buy 148.54 zł
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Książka Miękka
common.buy 29.17 zł
Recollections of My Non-Existence / Książka Twarda
common.buy 62.54 zł
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Książka Miękka
common.buy 44.63 zł
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Książka Miękka
common.buy 52.51 zł
TOP
In the Ruins of Neoliberalism Wendy Brown / Książka Miękka
common.buy 118.34 zł
Layout Essentials Revised and Updated Beth Tondreau / Książka Miękka
common.buy 122.53 zł
TOP
Building Microservices Sam Newman / Książka Miękka
common.buy 258.90 zł
Seirei Gensouki: Spirit Chronicles: Omnibus 9 Riv / Książka Miękka
common.buy 92.54 zł
Think Like the Greats Peter Hollins / Książka Miękka
common.buy 70.73 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?