Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Bertot, Yves, Castéran, Pierre
ISBN 10: 3540208542 ISBN 13: 9783540208549
Editore: Springer Berlin / Heidelberg, 2004
Usato
Rilegato
Da
Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 3 agosto 2006
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 52062814-6
Riassunto:
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.
Dalla quarta di copertina:
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 "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Interactive Theorem Proving and Program ...
Casa editrice: Springer Berlin / Heidelberg
Data di pubblicazione: 2004
Legatura: Rilegato
Condizione: Very Good
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Interactive Theorem Proving and Program Development
Editore:
Springer (edition 2004), 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Antico o usato
Rilegato
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo 3540208542-7-1
Compra usato
EUR 34,12
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
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G3540208542I4N10
Compra usato
EUR 36,39
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Interactive Theorem Proving and Program Development
Da: Eve's Book Garden, Albany, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library. Codice articolo 041508
Compra usato
EUR 65,75
EUR 5,11 shipping
Spedito in U.S.A.
Spedito in 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
Gebunden. 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 4884875
Compra nuovo
EUR 98,54
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
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions | Pierre Castéran (u. a.) | Buch | xxv | Englisch | 2004 | Springer-Verlag GmbH | EAN 9783540208549 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 102476660
Compra nuovo
EUR 102,30
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
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020162727
Compra nuovo
EUR 111,80
EUR 3,40 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Interactive Theorem Proving and Program Development
Da: BennettBooksLtd, San Diego, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-3540208542
Compra nuovo
EUR 114,82
EUR 5,92 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Interactive Theorem Proving and Program Development
Da: GoldBooks, Denver, CO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo 44K55_70_3540208542
Compra nuovo
EUR 116,68
EUR 3,62 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
Editore:
Springer-Verlag New York Inc, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Nuovo
Rilegato
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 1st edition. 468 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand. Codice articolo __3540208542
Compra nuovo
EUR 117,68
EUR 14,28 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Interactive Theorem Proving and Program Development
Editore:
Springer Berlin Heidelberg Mai 2004, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Nuovo
Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. 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 9783540208549
Compra nuovo
EUR 117,69
EUR 23,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili