Interactive Theorem Proving and Program Development

3,72 valoración promedio
( 18 valoraciones por Goodreads )
 
9783540208549: Interactive Theorem Proving and Program Development

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.

From the Back Cover:

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.

Review:

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)

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

Comprar nuevo Ver libro

Gastos de envío: EUR 3,35
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Yves Bertot,Pierre Casteran
Editorial: Springer 2004-05-14 (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevos Cantidad: 3
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Springer 2004-05-14, 2004. Estado de conservación: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-LBR-00745515

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 66,08
Convertir moneda

Añadir al carrito

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

2.

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

Descripción Springer Berlin Heidelberg 2004-05-14, Berlin |London, 2004. hardback. Estado de conservación: New. Nº de ref. de la librería 9783540208549

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 75,03
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

3.

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

Descripción Springer, 2004. Hardback. Estado de conservación: NEW. 9783540208549 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0329825

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 78,50
Convertir moneda

Añadir al carrito

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

4.

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

Descripción Springer, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9783540208549_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 83,29
Convertir moneda

Añadir al carrito

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

5.

Yves Bertot
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevos Cantidad: > 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. Estado de conservació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. de la librería IP-9783540208549

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 84,43
Convertir moneda

Añadir al carrito

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

6.

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

Descripción Springer-Verlag Gmbh Mai 2004, 2004. Buch. Estado de conservació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. de la librería 9783540208549

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 80,20
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

7.

Yves Bertot
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. HRD. Estado de conservación: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Nº de ref. de la librería IP-9783540208549

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 86,80
Convertir moneda

Añadir al carrito

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

8.

Yves Bertot
Editorial: Springer-Verlag Gmbh Mai 2004 (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevos Cantidad: 1
Librería
Rheinberg-Buch
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción Springer-Verlag Gmbh Mai 2004, 2004. Buch. Estado de conservació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. de la librería 9783540208549

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 80,20
Convertir moneda

Añadir al carrito

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

9.

Yves Bertot
Editorial: Springer-Verlag Gmbh Mai 2004 (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevos Buch Cantidad: 1
Librería
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción Springer-Verlag Gmbh Mai 2004, 2004. Buch. Estado de conservació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. de la librería 9783540208549

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 80,20
Convertir moneda

Añadir al carrito

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

10.

Yves Bertot
Editorial: Springer-Verlag Gmbh Mai 2004 (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
Nuevos Cantidad: 1
Librería
AHA-BUCH GmbH
(Einbeck, Alemania)
Valoración
[?]

Descripción Springer-Verlag Gmbh Mai 2004, 2004. Buch. Estado de conservació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. de la librería 9783540208549

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 80,20
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 29,50
De Alemania 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