Artículos relacionados a Interactive Theorem Proving and Program Development:...
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 48,62
EUR 17,78 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 98,54
EUR 19,49 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Interactive Theorem Proving and Program Development:...
Imagen de archivo
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions
Publicado por
Springer Berlin / Heidelberg, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Antiguo o usado
Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: 52062814-6
Cantidad disponible: 1 disponibles
Imagen del vendedor
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Coq'Art: The Calculus of Inductive Constructions
Librería: Antiquariat Mäander Quell, Waldshut-Tiengen, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. 2004. 497 S. - Wir versenden aus unserem deutschen Lager heraus in plastikfreien oder wiederverwendeten Polstertaschen. Sprache: Englisch Gewicht in Gramm: 1940 Gebundene Ausgabe, Maße: 16.41 cm x 3.23 cm x 23.77 cm. Nº de ref. del artículo: 47234
Cantidad disponible: 1 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Librería: Eve's Book Garden, Albany, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library. Nº de ref. del artículo: 041508
Cantidad disponible: 1 disponibles
Imagen del vendedor
Interactive Theorem Proving and Program Development
Publicado por
Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: 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. Nº de ref. del artículo: 4884875
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Publicado por
Springer (edition 2004), 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Antiguo o usado
Tapa dura
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Fair. 2004. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Nº de ref. del artículo: 3540208542-7-1
Cantidad disponible: 1 disponibles
Imagen del vendedor
Interactive Theorem Proving and Program Development
Publicado por
Springer Berlin Heidelberg Mai 2004, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Nuevo
Tapa dura
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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. Nº de ref. del artículo: 9783540208549
Cantidad disponible: 2 disponibles
Imagen del vendedor
Interactive Theorem Proving and Program Development : Coq¿Art: The Calculus of Inductive Constructions
Publicado por
Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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. Nº de ref. del artículo: 9783540208549
Cantidad disponible: 1 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9783540208549_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783540208549
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Interactive Theorem Proving and Program Development
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2004, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Nuevo
Buch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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. Nº de ref. del artículo: 9783540208549
Cantidad disponible: 2 disponibles