«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 blanda
Libro Interactive Theorem Proving and Program Development Yves Bertot
Código Libristo: 02129635
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, diciembre 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 230 b
94.09 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Lambda Calculus with Types Henk Barendregt / Libro Tapa dura
common.buy 113.29 €
Types and Programming Languages Pierce / Libro Tapa dura
common.buy 111.49 €
Four Pillars of Geometry John Stillwell / Libro Tapa dura
common.buy 44.39 €
Computer Networks, Global Edition Andrew Tanenbaum / Libro Tapa blanda
common.buy 114.39 €
Popular
Rust For Rustaceans Jon Gjengset / Libro Tapa blanda
common.buy 39.09 €
Popular
Prisma Club Prisma Team / Libro Tapa blanda
common.buy 29.09 €

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.

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, Pierre Castéran, G. Huet, C. Paulin-Mohring
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 472
EAN 9783642058806
ISBN 3642058809
Código Libristo 02129635
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 748
Dimensiones 155 x 235 x 26

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

También puede interesarle

Interactive Theorem Proving and Program Development Yves Bertot / Libro Tapa dura
common.buy 132.69 €
Let Over Lambda Doug Hoyte / Libro Tapa blanda
common.buy 42.49 €
A Lambda Calculus Satellite Giulio Manzonetto / Libro Tapa blanda
common.buy 43.79 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Libro Tapa blanda
common.buy 33.39 €
Interactive Television Demystified Jerry Whitaker / Libro Tapa blanda
common.buy 48.29 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Libro Tapa dura
common.buy 27.89 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Libro Tapa blanda
common.buy 38.29 €
Understanding Central Europe Marcin Moskalewicz / Libro Tapa blanda
common.buy 69.69 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Libro Tapa blanda
common.buy 20.89 €
Popular
Berserk Deluxe Volume 7 Kentaro Miura / Libro Tapa dura
common.buy 42.69 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Libro Tapa dura
common.buy 14.29 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Libro Tapa blanda
common.buy 13.59 €
Popular
Tales from the Loop Simon Stalenhag / Libro Tapa dura
common.buy 29.19 €
Popular
The Good Karma Tarot Kerry Ward / Artículos impresos Tarjetas
common.buy 19.89 €
Armenian History Captivating History / Libro Tapa blanda
common.buy 16.49 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Libro Tapa blanda
common.buy 56.59 €
Popular
Infinite Powers Steven (Author) Strogatz / Libro Tapa blanda
common.buy 11.79 €
Popular
RaW Hero, Vol. 1 Akira Hiramoto / Libro Tapa blanda
common.buy 12.69 €
Beginning x64 Assembly Programming Jo Van Hoey / Libro Tapa blanda
common.buy 35.89 €
Programming with Types Vlad Riscutia / Libro Tapa blanda
common.buy 58.49 €
Einstein's Fridge Paul Sen / Libro Tapa blanda
common.buy 11.69 €
Practical Engine Airflow Baechtel John Baechtel / Libro Tapa blanda
common.buy 33.79 €
Poker Satellite Strategy Dara O'Kearney / Libro Tapa blanda
common.buy 24.29 €
Popular
Art of Noticing Rob Walker / Libro Tapa dura
common.buy 17.99 €

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