Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.

Bestandsnummer des Verk�ufers 6545-9783540208549

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)
Verlag: Springer -
Erscheinungsjahr: 2004
Sprache: Englisch
ISBN-10: 3540208542
ISBN-13: 9783540208549
Einband: hardcover
Zustand: Very Good

�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

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described
on the Abebooks web sites. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the Ask
bookseller a question link to contact us and we'll respond
within 2 business days.

Widerrufsbelehrung

Versandbedingungen

All books will normally be shipped within 1 working day of being ordered. We provide the best shipping rates we can to each country and you can rest assured that if you are not happy with anything you receive, you have a 100% money-back guarantee with us.

Versandkosten von Vereinigtes K�nigreich nach USA

Versandkosten von Vereinigtes K�nigreich nach USA
Bestellmenge	4 bis 15�Werktage	4 bis 15�Werktage
Erster Artikel	EUR 8.01	EUR 8.01

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.