Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions

Yves Bertot (u. a.)

ISBN 10: 3642058809 ISBN 13: 9783642058806
Verlag: Springer, 2010
Neu Taschenbuch

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

AbeBooks-Verkäufer seit 5. August 2024

Beschreibung

Beschreibung:

Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions | Yves Bertot (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xxv | Englisch | 2010 | Springer | EAN 9783642058806 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 107167098

Diesen Artikel melden

Inhaltsangabe:

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.

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: 2010
Einband: Taschenbuch
Zustand: Neu

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

Bertot, Yves
ISBN 10: 3642058809 ISBN 13: 9783642058806
Gebraucht Softcover

Anbieter: Homeless Books, Berlin, Deutschland

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

Softcover. Zustand: Wie neu. The book is in very good condition and does not appear to have been read. Only very minor shelf wear to the cover. Language: English. Ships from Berlin. Bestandsnummer des Verkäufers ABE-1701869235447

Verkäufer kontaktieren

Gebraucht kaufen

EUR 50,00
EUR 19,95 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Bertot, Yves; Castéran, Pierre
Verlag: Springer, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Gebraucht Softcover

Anbieter: Goodwill Southern California, Los Angeles, CA, USA

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

Zustand: good. Bestandsnummer des Verkäufers 4CJULU000XKV

Verkäufer kontaktieren

Gebraucht kaufen

EUR 55,82
EUR 2,63 Versand
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Bertot, Yves
Verlag: Springer, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Neu Softcover
Print-on-Demand

Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien

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

Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers IKRHULQU3G

Verkäufer kontaktieren

Neu kaufen

EUR 74,24
EUR 8,00 Versand
Versand von Italien nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Yves Bertot|Pierre Castéran
ISBN 10: 3642058809 ISBN 13: 9783642058806
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

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

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA&nbspbroad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certified software. I. Bestandsnummer des Verkäufers 5045009

Verkäufer kontaktieren

Neu kaufen

EUR 77,17
EUR 48,99 Versand
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Verlag: Springer, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

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

Zustand: New. Bestandsnummer des Verkäufers 11868576-n

Verkäufer kontaktieren

Neu kaufen

EUR 84,61
EUR 2,32 Versand
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Yves Bertot
Verlag: Springer, Springer, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

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

Taschenbuch. 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. Bestandsnummer des Verkäufers 9783642058806

Verkäufer kontaktieren

Neu kaufen

EUR 90,94
EUR 63,75 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Yves Bertot
ISBN 10: 3642058809 ISBN 13: 9783642058806
Neu Taschenbuch
Print-on-Demand

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

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

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 500 pp. Englisch. Bestandsnummer des Verkäufers 9783642058806

Verkäufer kontaktieren

Neu kaufen

EUR 90,94
EUR 60,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Yves Bertot
ISBN 10: 3642058809 ISBN 13: 9783642058806
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

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

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 500 pp. Englisch. Bestandsnummer des Verkäufers 9783642058806

Verkäufer kontaktieren

Neu kaufen

EUR 90,94
EUR 23,00 Versand
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Verlag: Springer, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Neu Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

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

Zustand: New. Bestandsnummer des Verkäufers 11868576-n

Verkäufer kontaktieren

Neu kaufen

EUR 91,17
EUR 17,38 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Bertot, Yves; Castéran, Pierre
Verlag: Springer, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

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

Zustand: New. In English. Bestandsnummer des Verkäufers ria9783642058806_new

Verkäufer kontaktieren

Neu kaufen

EUR 91,18
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 3 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen