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 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €

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

116.49 €

Types and Programming Languages Pierce

/

Tapa dura

88.59 €

Four Pillars of Geometry John Stillwell

/

Tapa dura

44.39 €

Computer Networks, Global Edition Andrew Tanenbaum

/

Tapa blanda

96.29 €

Rust For Rustaceans Jon Gjengset

/

Tapa blanda

40.69 €

Prisma Club Prisma Team

/

Tapa blanda

27.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.39 €

Japanese Management in the Low Growth Era Daniel Dirks

/

Tapa blanda

112.89 €

Zariskian Filtrations i Huishi

/

Tapa dura

56.59 €

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

28.69 €

Lambda Calculus. Its Syntax and Semantics Henk Barendregt

/

Tapa blanda

30.49 €

An Introduction to Classical and Modal Logics Adam Bjorndahl

/

Tapa blanda

38.59 €

Berserk Deluxe Volume 7 Kentaro Miura

/

Tapa dura

44.79 €

Outwitting the Devil Napoleon Hill

/

Tapa blanda

15.39 €

Fence Vol. 1 C.S. Pacat

/

Tapa blanda

9.69 €

Art of Noticing Rob Walker

/

Tapa dura

18.79 €

Grumpy Monkey Freshly Squeezed Lang

/

Tapa dura

9.89 €

What the Ladybird Heard Cookbook Julia Donaldson

/

Tapa dura

14.99 €

The Good Karma Tarot Kerry Ward

/

Tarjetas

20.39 €

Poker Satellite Strategy Dara O'Kearney

/

Tapa blanda

24.89 €

Beginning x64 Assembly Programming Jo Van Hoey

/

Tapa blanda

36.89 €

Practical Engine Airflow Baechtel John Baechtel

/

Tapa blanda

34.69 €

Einstein's Fridge Paul Sen

/

Tapa blanda

11.59 €

Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey

/

Tapa blanda

19.79 €

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

/

Tapa blanda

15.79 €

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

/

Tapa dura

14.59 €

Tales from the Loop Simon Stalenhag

/

Tapa dura

28.59 €

Infinite Powers Steven (Author) Strogatz

/

Tapa blanda

12.19 €

Asesor de libros Libroamiko

Hola, soy Libroamiko, ¿puedo ayudarte?