Interactive Theorem Proving and Program Development

Bertot, Yves; Castéran, Pierre

ISBN 10: 3540208542 ISBN 13: 9783540208549
Verlag: Springer, 2004
Neu Hardcover

Verkäufer Ria Christie Collections, Uxbridge, Vereinigtes Königreich Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

AbeBooks-Verkäufer seit 25. März 2015

Beschreibung

Beschreibung:

In English. Bestandsnummer des Verkäufers ria9783540208549_new

Diesen Artikel melden

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.

Bibliografische Details

Titel: Interactive Theorem Proving and Program ...
Verlag: Springer
Erscheinungsdatum: 2004
Einband: Hardcover
Zustand: New

Beste Suchergebnisse beim ZVAB

Beispielbild für diese ISBN

Bertot, Yves
Verlag: Springer (edition 2004), 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Gebraucht Hardcover

Anbieter: BooksRun, Philadelphia, PA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Fair. 2004. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. Artikel-Nr. 3540208542-7-1

Verkäufer kontaktieren

Gebraucht kaufen

EUR 34,15
Versand gratis
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Bertot, Yves; Castà ran, Pierre
Verlag: Springer, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Gebraucht Hardcover

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G3540208542I4N10

Verkäufer kontaktieren

Gebraucht kaufen

EUR 36,41
Versand gratis
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Bertot, Yves
Verlag: Springer, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Neu Hardcover

Anbieter: Brook Bookstore, Milano, MI, Italien

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: new. Artikel-Nr. 4SK28NKYVR

Verkäufer kontaktieren

Neu kaufen

EUR 89,51
EUR 37,99 shipping
Versand von Italien nach USA

Anzahl: 5 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Yves Bertot
Verlag: Springer, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Neu Hardcover

Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. S0-9783540208549

Verkäufer kontaktieren

Neu kaufen

EUR 103,89
EUR 6,69 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: 5 verfügbar

In den Warenkorb

Foto des Verkäufers

Pierre Castéran
ISBN 10: 3540208542 ISBN 13: 9783540208549
Neu Buch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch. Artikel-Nr. 9783540208549

Verkäufer kontaktieren

Neu kaufen

EUR 117,69
EUR 60,00 shipping
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Pierre Castéran
ISBN 10: 3540208542 ISBN 13: 9783540208549
Neu Hardcover

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540208549

Verkäufer kontaktieren

Neu kaufen

EUR 117,69
EUR 64,55 shipping
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb