[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Interactive Theorem Proving and Program Development

Sprache EnglischEnglisch
Buch Hardcover
Buch Interactive Theorem Proving and Program Development Yves Bertot
Libristo-Code: 02129535
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Vollständige Beschreibung
? points 380 b
151.61 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
Continuous Discovery Habits Teresa Torres / Broschur
common.buy 19.76 €
Crush Tracy Wolff / Broschur
common.buy 12.70 €
Lost Spells Robert Macfarlane / Hardcover
common.buy 16.94 €
Invention and Innovation / Hardcover
common.buy 23.39 €
From Head to Toe Eric Carle / Broschur
common.buy 8.67 €
Soled Out: The Golden Age of Sneaker Advertising SNEAKER FREAKER / Hardcover
common.buy 58.40 €
Notes on Heartbreak Annie Lord / Broschur
common.buy 11.79 €
Proof Theory Takeuti / Broschur
common.buy 24.40 €
Basic Proof Theory Anne S. Troelstra / Broschur
common.buy 72.62 €
Layout Essentials Revised and Updated Beth Tondreau / Broschur
common.buy 24.10 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment / Broschur
common.buy 38.32 €
AUSVERKAUF
Interactive Theorem Proving and Program Development Yves Bertot / Broschur
common.buy 80.29 €
Type Theory and Formal Proof Rob Nederpelt / Hardcover
common.buy 109.84 €
In the Ruins of Neoliberalism Wendy Brown / Broschur
common.buy 28.84 €
Recollections of My Non-Existence / Hardcover
common.buy 17.34 €
Relentless: 12 Rounds to Success Eddie Hearn / Hardcover
common.buy 25.41 €

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.

Informationen zum Buch

Vollständiger Name Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2004
Anzahl der Seiten 472
EAN 9783540208549
ISBN 3540208542
Libristo-Code 02129535
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 912
Abmessungen 163 x 239 x 36

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto