Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Interactive Theorem Proving and Program Development

Name: Interactive Theorem Proving and Program Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02129535
Price: 119.49 EUR
Availability: InStock
Author: Yves Bertot
ISBN: 9783540208549

Coq'Art: The Calculus of Inductive Constructions

Sprache

Englisch

Buch Hardcover

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

Libristo-Code: 02129535

292 b

119.49 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Das könnte Sie auch interessieren

Interactive Theorem Proving and Program Development Yves Bertot

Broschur

84.69 €

Interactive Technologies and Sociotechnical Systems Hongbin Zha

Broschur

55.39 €

Cold Aqueous Planetary Geochemistry with FREZCHEM Giles M. Marion

Hardcover

101.79 €

Interactive Video Riad Hammoud

Broschur

101.79 €

Interactive Theorem Proving Matt Kaufmann

Broschur

109.29 €

Interactive Theorem Proving Marko Van Eekelen

Broschur

55.39 €

Interactive Theorem Proving Lennart Beringer

Broschur

55.39 €

Data Visualization with Excel Dashboards and Reports Dick Kusleika

Broschur

29.59 €

Lost Spells Robert Macfarlane

Hardcover

13.99 €

Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art

Broschur

6.99 €

The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick

Broschur

33.09 €

Relentless: 12 Rounds to Success Eddie Hearn

Hardcover

25.79 €

Deyrolle: French Botanical Art Emmanuelle Polle

Broschur

17.89 €

Dance of the Serpents Oscar de Muriel

Broschur

10.29 €

Inclusive Teaching in the Early Childhood Science Classroom Almarode

Broschur

60.29 €

Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS

Broschur

35.49 €

Fighters Across Frontiers Ismee Tames

Hardcover

35.99 €

In the Ruins of Neoliberalism Wendy Brown

Broschur

26.99 €

Cute Hand Lettering

Broschur

14.19 €

Recollections of My Non-Existence

Hardcover

13.99 €

Adventures of Nio the Skunk: The Unknown Anticio T. Duke

Broschur

10.69 €

Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague

Broschur

10.19 €

Jaunt ERIK J KREFFEL

Broschur

20.89 €

Monsters of Men Patrick Ness

Broschur

9.59 €

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

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