Interactive Theorem Proving and Program Development: Coq?Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Bertot, Yves; Castéran, Pierre
ISBN 10: 3642058809 ISBN 13: 9783642058806
Editore: Springer, 2010
Nuovi
Brossura
Da
Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 25 marzo 2015
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
In English. Codice articolo ria9783642058806_new
Riassunto:
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.
Dalla quarta di copertina: <p>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.</p><p>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.</p>
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Interactive Theorem Proving and Program ...
Casa editrice: Springer
Data di pubblicazione: 2010
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Da: Goodwill Southern California, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. Codice articolo 4CJULU000XKV
Compra usato
EUR 33,50
EUR 2,56 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Interactive Theorem Proving and Program Development: CoqâArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
ISBN 10: 3642058809
ISBN 13: 9783642058806
Antico o usato
Paperback
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Softcover reprint of hardcover 1st ed. 2004. Codice articolo 3642058809-8-1
Compra usato
EUR 34,74
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Editore:
Springer Berlin / Heidelberg, 2010
ISBN 10: 3642058809
ISBN 13: 9783642058806
Antico o usato
Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 52719462-6
Compra usato
EUR 34,81
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Editore:
Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809
ISBN 13: 9783642058806
Antico o usato
Softcover
Da: Homeless Books, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo ABE-1701869235447
Compra usato
EUR 50,00
EUR 19,95 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving and Program Development
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad 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. Codice articolo 5045009
Compra nuovo
EUR 72,89
EUR 48,99 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions | Pierre Castéran (u. a.) | Taschenbuch | 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. Codice articolo 107167098
Compra nuovo
EUR 75,70
EUR 70,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020215134
Compra nuovo
EUR 84,58
EUR 3,41 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving and Program Development
ISBN 10: 3642058809
ISBN 13: 9783642058806
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642058806
Compra nuovo
EUR 85,59
EUR 60,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving and Program Development : Coq¿Art: The Calculus of Inductive Constructions
Editore:
Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809
ISBN 13: 9783642058806
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642058806
Compra nuovo
EUR 85,59
EUR 63,75 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 11868576-n
Compra nuovo
EUR 85,76
EUR 2,25 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili