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

«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 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

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

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567627
Price: 56.59 EUR
Availability: InStock
Author: Marino Miculan
ISBN: 9783540680840

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Marino Miculan

Ivan Scagnetto

Furio Honsell

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01567627

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2008

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Descripción completa

Código Libristo: 01567627

139 b

56.59 €

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

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

Clientes que también han comprado

You Are My TRUTH Felicitas Brandt

Tapa blanda

17.39 €

Zápisník Black Red tečkovaný L Artículos de papelería

Artículos de papelería

8.59 €

Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins

Tapa dura

5.29 €

Nexus Yuval Noah Harari

Tapa dura

22.99 €

Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel

Tapa blanda

31.09 €

Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla

Tapa blanda

37.49 €

Réponse du blé semé tardivement ? l'azote Deepak Sapkota

Tapa blanda

37.39 €

OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Libro

binding.

7.89 €

iPod Jude D. Biersdorfer

Tapa blanda

19.39 €

Szerafina és a Fekete Köpeny Robert Beatty

Tapa dura

6.69 €

de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A

Tapa blanda

14.19 €

František Skála - Grafika František Skála

Hoja

13.39 €

Puccini: La Boheme/Madame Butterfly RPO/Abell

CD de audio

28.59 €

Ataque a un enemigo de la libertad Cicerón

Tapa blanda

9.39 €

E-biznes Steve West

Tapa blanda

14.49 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.