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.
Otras 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
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. 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. Nº de ref. del artículo: 3540208542-7-1
Comprar usado
EUR 29,29
Gastos de envío:
GRATIS
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
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. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G3540208542I4N10
Comprar usado
EUR 31,52
Gastos de envío:
GRATIS
A Estados Unidos de America
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: 4 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
Comprar usado
EUR 66,70
Gastos de envío:
EUR 5,18
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Bertot,Y.:Interactive Theorem Proving (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 4 de 5 estrellas
Condición: new. Nº de ref. del artículo: 4SK28NKYVR
Comprar nuevo
EUR 94,25
Gastos de envío:
EUR 13,50
De Italia a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020162727
Comprar nuevo
EUR 113,43
Gastos de envío:
EUR 3,45
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Nº de ref. del artículo: 44K55_70_3540208542
Comprar nuevo
EUR 118,35
Gastos de envío:
EUR 3,67
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Interactive Theorem Proving and Program Development
Librería: BennettBooksLtd, San Diego, NV, 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 116,49
Gastos de envío:
EUR 6,00
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Bertot,Y.:Interactive Theorem Proving (eng)
Librería: Brook Bookstore, Milano, MI, Italia
Calificación del vendedor: 4 de 5 estrellas
Condición: new. Nº de ref. del artículo: 4SK28NKYVR
Comprar nuevo
EUR 89,51
Gastos de envío:
EUR 37,99
De Italia a Estados Unidos de America
Cantidad disponible: 5 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
Comprar nuevo
EUR 121,75
Gastos de envío:
EUR 13,60
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 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
Comprar nuevo
EUR 117,69
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles