«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Idioma InglésInglés
Libro Tapa dura
Libro Interactive Theorem Proving and Program Development Yves Bertot
Código Libristo: 02129535
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Descripción completa
? points 325 b
132.69 €
Almacenamiento externo Envío en 10-13 días

Política de devolución de 30 días

También puede interesarle

Interactive Theorem Proving and Program Development Yves Bertot / Libro Tapa blanda
common.buy 94.09 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Libro Tapa blanda
common.buy 60.39 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Libro Tapa blanda
common.buy 33.49 €
Interactive Video Riad Hammoud / Libro Tapa blanda
common.buy 112.79 €
Interactive Theorem Proving Matt Kaufmann / Libro Tapa blanda
common.buy 119.39 €
Interactive Theorem Proving Marko Van Eekelen / Libro Tapa blanda
common.buy 60.39 €
Interactive Theorem Proving Lennart Beringer / Libro Tapa blanda
common.buy 60.39 €
Deyrolle: French Botanical Art Emmanuelle Polle / Libro Tapa blanda
common.buy 21.09 €
Dance of the Serpents Oscar de Muriel / Libro Tapa blanda
common.buy 12.79 €
Relentless: 12 Rounds to Success Eddie Hearn / Libro Tapa dura
common.buy 28.69 €
Recollections of My Non-Existence / Libro Tapa dura
common.buy 15.89 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Libro Tapa blanda
common.buy 40.69 €
Popular
Lost Spells Robert Macfarlane / Libro Tapa dura
common.buy 15.89 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Libro Tapa blanda
common.buy 38.99 €
Fighters Across Frontiers Ismee Tames / Libro Tapa dura
common.buy 41.39 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Libro Tapa blanda
common.buy 6.99 €
Cute Hand Lettering / Libro Tapa blanda
common.buy 15.29 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Libro Tapa blanda
common.buy 10.69 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Libro Tapa blanda
common.buy 10.69 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Libro Tapa blanda
common.buy 12.59 €
Popular
In the Ruins of Neoliberalism Wendy Brown / Libro Tapa blanda
common.buy 29.19 €
Layout Essentials Revised and Updated Beth Tondreau / Libro Tapa blanda
common.buy 29.49 €
Popular
Building Microservices Sam Newman / Libro Tapa blanda
common.buy 62.89 €
Across the Isthmus to California in '52 Sarah Merriam Brooks / Libro Tapa blanda
common.buy 13.89 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2004
Número de páginas 472
EAN 9783540208549
ISBN 3540208542
Código Libristo 02129535
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 912
Dimensiones 163 x 239 x 36

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo