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.
- EditoreSpringer
- Data di pubblicazione2010
- ISBN 10 3642058809
- ISBN 13 9783642058806
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine500
- Contatto del produttorenon disponibile
Compra 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:...
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
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 500. Codice articolo 262467416
Quantità: 4 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: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_404034368
Quantità: 1 disponibili
Foto dell'editore
Interactive Theorem Proving and Program Development
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand pp. 500 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 5380487
Quantità: 4 disponibili