Articoli correlati a Interactive Theorem Proving and Program Development:...
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Compra usato
Condizioni: come nuovoThe book is in very good condition...
Visualizza questo articolo
EUR 50,00
EUR 10,95 per la spedizione da Germania a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 72,89
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Interactive Theorem Proving and Program Development:...
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
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
Quantità: 1 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving and Program Development
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 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
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving and Program Development
Editore:
Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642058809
ISBN 13: 9783642058806
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 500 pp. Englisch. Codice articolo 9783642058806
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
Quantità: 1 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
Quantità: 2 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: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9783642058806_new
Quantità: Più di 20 disponibili
Foto dell'editore
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
Quantità: Più di 20 disponibili
Foto dell'editore
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 11868576-n
Quantità: Più di 20 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. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported Softcover reprint of hardcover 1st ed. 2004. Codice articolo 3642058809-8-1
Quantità: 1 disponibili