Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

«Comprobar estado del pedido»

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

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

phone

Ayuda

Mi cuenta

▸ Vacío :-(

0

Envío gratis a partir de 69,99 euros.

Libro Interactive Theorem Proving and Program Development Yves Bertot

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Pierre Castéran

C. Paulin-Mohring

Idioma

Inglé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...

Código Libristo: 02129635

?

points

230 b

94.09 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Lambda Calculus with Types Henk Barendregt

/

Tapa dura

113.29 €

Types and Programming Languages Pierce

/

Tapa dura

111.49 €

Four Pillars of Geometry John Stillwell

/

Tapa dura

44.39 €

Computer Networks, Global Edition Andrew Tanenbaum

/

Tapa blanda

114.39 €

Rust For Rustaceans Jon Gjengset

/

Tapa blanda

39.49 €

Prisma Club Prisma Team

/

Tapa blanda

28.89 €

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

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

/

Tapa dura

132.69 €

Let Over Lambda Doug Hoyte

/

Tapa blanda

42.49 €

Japanese Management in the Low Growth Era Daniel Dirks

/

Tapa blanda

112.79 €

Zariskian Filtrations i Huishi

/

Tapa dura

60.39 €

Mechanical Forces: Their Effects on Cells and Tissues Keith J. Gooch

/

Tapa blanda

56.59 €

Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus

/

Tapa dura

27.89 €

Lambda Calculus. Its Syntax and Semantics Henk Barendregt

/

Tapa blanda

33.39 €

An Introduction to Classical and Modal Logics Adam Bjorndahl

/

Tapa blanda

38.29 €

Understanding Central Europe Marcin Moskalewicz

/

Tapa blanda

72.59 €

The Good Karma Tarot Kerry Ward

/

Tarjetas

19.89 €

Berserk Deluxe Volume 7 Kentaro Miura

/

Tapa dura

42.69 €

Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey

/

Tapa blanda

20.89 €

Beyond the Trees: A Journey Alone Across Canada's Arctic Adam Shoalts

/

Tapa blanda

14.69 €

The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge

/

Tapa dura

14.29 €

Tales from the Loop Simon Stalenhag

/

Tapa dura

28.89 €

Imagine You Are An Aluminum Atom Christopher Exley

/

Tapa dura

19.59 €

Infinite Powers Steven (Author) Strogatz

/

Tapa blanda

12.79 €

RaW Hero, Vol. 1 Akira Hiramoto

/

Tapa blanda

12.69 €

Beginning x64 Assembly Programming Jo Van Hoey

/

Tapa blanda

35.89 €

Einstein's Fridge Paul Sen

/

Tapa blanda

11.59 €

Practical Engine Airflow Baechtel John Baechtel

/

Tapa blanda

33.79 €

Poker Satellite Strategy Dara O'Kearney

/

Tapa blanda

24.29 €

Art of Noticing Rob Walker

/

Tapa dura

19.59 €

Fence Vol. 1 C.S. Pacat

/

Tapa blanda

8.79 €

Asesor de libros Libroamiko

Hola, soy Libroamiko, ¿puedo ayudarte?