Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

3,91 valoración promedio
( 22 valoraciones por Goodreads )
 
9783540208549: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Ver todas las copias de esta edición ISBN.
 
 

<P>A PRACTICAL INTRODUCTION TO THE DEVELOPMENT OF PROOFS AND CERTIFIED PROGRAMS USING COQ. </P> <P>AN INVALUABLE TOOL FOR RESEARCHERS, STUDENTS, AND ENGINEERS INTERESTED IN FORMAL METHODS AND THE DEVELOPMENT OF ZERO-FAULT SOFTWARE.</P>

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas:

From the reviews of the first edition: "This book serves as a Coq user manual, supporting both beginners and experts in the use of Coq and its underlying theory. ... Numerous exercises further enhance the utility as a learning aid. A supporting website provides downloadable source for all the examples and solutions to the exercises. As an introduction to Coq the book is self-contained ... . The book is also comprehensive ... . In summary, the book is an essential companion for every Coq user ... ." (Valentin F. Goranko, Zentralblatt MATH, Vol. 1069, 2005)

Reseña del editor:

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: EUR 6,72
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Otras ediciones populares con el mismo título

9783642058806: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Edición Destacada

ISBN 10:  3642058809 ISBN 13:  9783642058806
Editorial: Springer, 2010
Tapa blanda

Los mejores resultados en AbeBooks

1.

Yves Bertot, G. Huet (foreword), Pierre Castéran, C. Paulin-Mohring (foreword)
Publicado por Springer Berlin Heidelberg 2004-05-14, Berlin |London (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Tapa dura Cantidad disponible: 10
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Springer Berlin Heidelberg 2004-05-14, Berlin |London, 2004. hardback. Condición: New. Nº de ref. del artículo: 9783540208549

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 33,44
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Bertot, Yves/ CastTran, Pierre/ Huet, Gerard (Foreward By)/ Paulin-Mohring, Christine (Foreward By)
Publicado por Springer-Verlag New York Inc (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Tapa dura Cantidad disponible: 2
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag New York Inc, 2004. Hardcover. Condición: Brand New. 1st edition. 468 pages. 9.25x6.25x1.00 inches. In Stock. Nº de ref. del artículo: __3540208542

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 69,19
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,40
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Yves Bertot; Pierre Castéran
Publicado por Springer (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Tapa dura Cantidad disponible: 1
Librería
Valoración
[?]

Descripción Springer, 2004. Condición: New. Nº de ref. del artículo: L9783540208549

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 74,89
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,75
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

YVES BERTOT
Publicado por Springer (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Tapa dura Cantidad disponible: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer, 2004. Hardback. Condición: NEW. 9783540208549 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Nº de ref. del artículo: HTANDREE0329825

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 69,20
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,94
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Yves Bertot
Publicado por Springer (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Tapa dura Cantidad disponible: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2004. Hardcover. Condición: New. 2004. Nº de ref. del artículo: DADAX3540208542

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 75,23
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Yves Bertot
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Cantidad disponible: 10
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. HRD. Condición: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. del artículo: S0-9783540208549

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 70,96
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,08
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Bertot, Yves
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Cantidad disponible: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. HRD. Condición: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9783540208549

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 81,92
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Bertot, Yves
Publicado por Springer (2018)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Tapa dura Cantidad disponible: 16
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2018. Hardcover. Condición: New. Never used! This item is printed on demand. Nº de ref. del artículo: 3540208542

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 86,74
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Yves Bertot
Publicado por Springer-Verlag Gmbh Mai 2004 (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Cantidad disponible: 1
Librería
Valoración
[?]

Descripción Springer-Verlag Gmbh Mai 2004, 2004. 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. 469 pp. Englisch. Nº de ref. del artículo: 9783540208549

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 74,89
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 12,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Bertot, Yves
Publicado por Springer (2016)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevo Paperback Cantidad disponible: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Springer, 2016. Paperback. Condición: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783540208549_lsuk

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 83,21
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,33
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda