497 S. - Wir versenden aus unserem deutschen Lager heraus in plastikfreien oder wiederverwendeten Polstertaschen. Sprache: Englisch Gewicht in Gramm: 1940 Gebundene Ausgabe, Ma�e: 16.41 cm x 3.23 cm x 23.77 cm.

Bestandsnummer des Verk�ufers 47234

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Coq Art: The Calculus of Inductive Constructions

Verlag

Springer

Erscheinungsjahr

2004

Sprache

Englisch

ISBN-10

3540208542

ISBN-13

9783540208549

Einband

Hardcover

Auflage

2004.

Zustand

Gut

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

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.

Von der hinteren Coverseite

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Vielen Dank f�r Ihr Interesse an unserem Antiquariatsbestand. Alle unsere B�cher lagern in Deutschland und werden t�glich von Montag bis Samstag ausgeliefert. Der Versand erfolgt mittels DHL / Deutsche Post. Wir freuen uns �ber Ihren Auftrag!

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

M�ander Quell GmbH
Postgasse 7, Rorbas, 8427, Switzerland

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

ALLGEMEINE GESCH�FTSBEDINGUNGEN MIT KUNDENINFORMATIONEN
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Alternative Streitbeilegung
Verhaltenskodex

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") der M�ander Quell GmbH (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?Kunde?) mit dem...

Mehr Information

Versandbedingungen

Der Versand erfolgt aus unserem Lager in Deutschland heraus. F�r
Kunden aus der EU fallen also keine Einfuhrabgaben an. Kunden aus der
Schweiz m�ssen ab einem Gesamtwert von 200 CHF Einfuhrabgaben
zahlen.
Zur Bezahlung stehen ein EU-Bankkonto zur Verf�gung.

Impressum & Info zum Verk�ufer