Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

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 292 b
121.02 €
Externes Lager Wir versenden in 10-13 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Interactive Theorem Proving and Program Development Yves Bertot / Buch Broschur
common.buy 85.78 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Buch Broschur
common.buy 58.53 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Buch Broschur
common.buy 33.92 €
Interactive Video Riad Hammoud / Buch Broschur
common.buy 103.10 €
Interactive Theorem Proving Matt Kaufmann / Buch Broschur
common.buy 120.92 €
Interactive Theorem Proving Marko Van Eekelen / Buch Broschur
common.buy 58.53 €
Interactive Theorem Proving Lennart Beringer / Buch Broschur
common.buy 58.53 €
Deyrolle: French Botanical Art Emmanuelle Polle / Buch Broschur
common.buy 21.36 €
Dance of the Serpents Oscar de Muriel / Buch Broschur
common.buy 11.84 €
Relentless: 12 Rounds to Success Eddie Hearn / Buch Hardcover
common.buy 26.12 €
Recollections of My Non-Existence / Buch Hardcover
common.buy 14.17 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Buch Broschur
common.buy 41.21 €
Top
Lost Spells Robert Macfarlane / Buch Hardcover
common.buy 14.17 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Buch Broschur
common.buy 35.54 €
Fighters Across Frontiers Ismee Tames / Buch Hardcover
common.buy 41.11 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Buch Broschur
common.buy 7.08 €
Cute Hand Lettering / Buch Broschur
common.buy 13.97 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Buch Broschur
common.buy 10.83 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Buch Broschur
common.buy 10.83 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Buch Broschur
common.buy 12.75 €
Top
In the Ruins of Neoliberalism Wendy Brown / Buch Broschur
common.buy 27.44 €
Layout Essentials Revised and Updated Beth Tondreau / Buch Broschur
common.buy 29.87 €
Top
Building Microservices Sam Newman / Buch Broschur
common.buy 63.70 €
Across the Isthmus to California in '52 Sarah Merriam Brooks / Buch Broschur
common.buy 12.65 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?