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
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCS
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.
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
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G3540208542I4N01
Comprar usado
EUR 35,35
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: H-819-821
Comprar usado
EUR 31,47
Envío por EUR 6,29
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Nº de ref. del artículo: M03540208542-G
Comprar usado
EUR 37,35
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions.
Publicado por
Berlin, Springer, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Antiguo o usado
Tapa dura
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Gut. XXV, 469 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16168 9783540208549 Sprache: Englisch Gewicht in Gramm: 930. Nº de ref. del artículo: 2546709
Comprar usado
EUR 44,13
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-3540208542
Comprar nuevo
EUR 122,45
Envío por EUR 6,31
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development (Hardcover)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Nuevo
Tapa dura
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783540208549
Comprar nuevo
EUR 128,94
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 504. Nº de ref. del artículo: 26294696
Comprar nuevo
EUR 144,60
Envío por EUR 3,62
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Interactive Theorem Proving And Program Development : Coq'art: The Calculus Of Inductive Constructions
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 2524864-n
Comprar nuevo
EUR 145,85
Envío por EUR 2,40
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Interactive Theorem Proving and Program Development
Publicado por
Springer Vieweg, Springer Mai 2004, 2004
ISBN 10: 3540208542
ISBN 13: 9783540208549
Nuevo
Buch
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 -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. 500 pp. Englisch. Nº de ref. del artículo: 9783540208549
Comprar nuevo
EUR 128,39
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 504 Illus. Nº de ref. del artículo: 7586039
Comprar nuevo
EUR 146,26
Envío por EUR 7,79
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles