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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen
Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Sprache EnglischEnglisch
Buch Broschur
Buch Interactive Theorem Proving and Program Development Yves Bertot
Libristo-Code: 02129635
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 219 b
89.39 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Lambda Calculus with Types Henk Barendregt / Buch Hardcover
common.buy 113.29 €
Types and Programming Languages Pierce / Buch Hardcover
common.buy 109.19 €
Four Pillars of Geometry John Stillwell / Buch Hardcover
common.buy 42.19 €
Computer Networks, Global Edition Andrew Tanenbaum / Buch Broschur
common.buy 112.39 €
Top
Rust For Rustaceans Jon Gjengset / Buch Broschur
common.buy 36.59 €
Top
Prisma Club Prisma Team / Buch Broschur
common.buy 29.79 €

A practical introduction to the development of proofs and certified programs using Coq. §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, Pierre Castéran, G. Huet, C. Paulin-Mohring
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 472
EAN 9783642058806
ISBN 3642058809
Libristo-Code 02129635
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 748
Abmessungen 155 x 235 x 26

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

Das könnte Sie auch interessieren

Interactive Theorem Proving and Program Development Yves Bertot / Buch Hardcover
common.buy 126.09 €
Let Over Lambda Doug Hoyte / Buch Broschur
common.buy 42.49 €
A Lambda Calculus Satellite Giulio Manzonetto / Buch Broschur
common.buy 42.89 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Buch Broschur
common.buy 32.79 €
Interactive Television Demystified Jerry Whitaker / Buch Broschur
common.buy 48.29 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Buch Hardcover
common.buy 27.89 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Buch Broschur
common.buy 37.59 €
Understanding Central Europe Marcin Moskalewicz / Buch Broschur
common.buy 68.39 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Buch Broschur
common.buy 20.89 €
Top
Berserk Deluxe Volume 7 Kentaro Miura / Buch Hardcover
common.buy 40.09 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Buch Hardcover
common.buy 14.29 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Buch Broschur
common.buy 13.59 €
Top
Tales from the Loop Simon Stalenhag / Buch Hardcover
common.buy 28.49 €
Top
The Good Karma Tarot Kerry Ward / Drucksachen Karten
common.buy 19.89 €
Armenian History Captivating History / Buch Broschur
common.buy 16.49 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Buch Broschur
common.buy 54.19 €
Top
Infinite Powers Steven (Author) Strogatz / Buch Broschur
common.buy 11.09 €
Top
RaW Hero, Vol. 1 Akira Hiramoto / Buch Broschur
common.buy 12.69 €
Beginning x64 Assembly Programming Jo Van Hoey / Buch Broschur
common.buy 35.89 €
Programming with Types Vlad Riscutia / Buch Broschur
common.buy 56.09 €
Einstein's Fridge Paul Sen / Buch Broschur
common.buy 11.39 €
Practical Engine Airflow Baechtel John Baechtel / Buch Broschur
common.buy 33.79 €
Poker Satellite Strategy Dara O'Kearney / Buch Broschur
common.buy 24.29 €
Top
Art of Noticing Rob Walker / Buch Hardcover
common.buy 16.89 €

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