Name: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)
SKU: 1701645
Price: 117.13 USD
Availability: InStock
Author: Yves Bertot

portada Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Yves Bertot

Año

2004

Idioma

Inglés

N° páginas

468

Encuadernación

Tapa Dura

Peso

ISBN

3540208542

ISBN13

9783540208549

N° edición

2004

Categorías

Programación informática/desarrollo de software

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)

Yves Bertot (Autor) · Springer · Tapa Dura

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 234.26$ 117.13

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 117.13

Llega entre el 15 Sep y el 28 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)"

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.