Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series - Yves Bertot - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540208549 - 14 de mayo de 2004
En caso de que portada y título no coincidan, el título será el correcto

Yves Bertot
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series 2004 edition

Precio
$ 124,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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.

497 pages, 1 black & white illustrations, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 14 de mayo de 2004
ISBN13 9783540208549
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 472
Dimensiones 163 × 239 × 36 mm   ·   852 g
Lengua Alemán  

Mas por Yves Bertot

Mostrar todo

Mere med samme udgiver

Ver todo de Yves Bertot ( Ej. Hardcover Book y Paperback Book )