Categorías

Atención al cliente
915 757 000
De Lunes a Viernes
De 9:00h a 19:00h

Recomendador de libros

Dinos qué te gusta y te recomendamos qué leer

Los libros más deseados

Compra online los libros más deseados por nuestros clientes

Novedades en libros. Febrero de 2025

Todas las novedades editoriales de Febrero de 2025

Listas de libros recomendados

Novedades, sagas y recomendaciones por temáticas

Click & Collect

Compra online y recoge en librería sin pago anticipado ni gastos de envío

Nuestras librerías

MÁLAGA UNIVERSIDAD

Av. Doctor Manuel Domínguez, 6
951 02 05 02

STA. CRUZ DE TENERIFE

Av. Tres de Mayo, 71
922 23 61 83

LA OROTAVA

Multicentro Comercial El Trompo, Local P5A
922 98 71 60

LAS PALMAS

Calle José Franchy Roca, 13
828 15 00 80

PALMA DE MALLORCA

C/ Marqués de Fontsanta, 6
971 46 53 61

BARCELONA

(punto de recogida)
Gran Vía de les Corts Catalanes, 594, (Librería Hispano Americana)
933 18 05 08

ELIGE TUS LIBROS ¡EL ENVÍO ES GRATIS!*
* Envíos a partir de 18€ para España peninsular, Tenerife, Gran Canaria y Mallorca
¿No sabes qué libro leer? Prueba nuestro recomendador de libros
Portada de Types for Proofs and Programs
Click para ampliar

Types for Proofs and Programs

Henk Barendregt

Henk Barendregt

Detalles del libro

EditorialSpringer Nature B.V.
Edición(20/05/1994)
IdiomaInglés
ISBN9783540580850
ISBN-103540580859

Detalles del libro

Autor/esHenk Barendregt
EditorialSpringer Nature B.V.
Edición(20/05/1994)
IdiomaInglés
ISBN9783540580850
ISBN-103540580859
65,74 €
62,45 €
5 a 30 días
Envío Gratis al comprar este libro

Resumen

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for... Leer más

Otros libros de Henk Barendregt son Lambda Calculus With Types y The Lambda Calculus. Its Syntax And Semantics.

Sé el primero en valorar este libro

Otros libros de Programación. Otros:

Algoritmia

Algoritmia

  • 306 páginas
  • 38,00€ 36,10€
38,00€ 36,10€
Programación shell en Unix/Linux: ksh, bash, estándar POSIX (con ejercicios corregidos)

Programación Shell En Unix/linux: Ksh,...

  • 38,00€ 36,10€
38,00€ 36,10€
Patrones de diseño en C#: Los 23 modelos de diseño: descripción y soluciones ilustradas en UML 2 y C#

Patrones De Diseño En C#: Los 23 Modelos...

  • 38,00€ 36,10€
38,00€ 36,10€
Data scientist y lenguaje R

Data Scientist Y Lenguaje R

  • Henri; Eva Laude Laude
  • 870 páginas
  • 54,00€ 51,30€
54,00€ 51,30€
Aprendizaje automático y profundo en Python: una mirada hacia la inteligencia artificial

Aprendizaje Automático Y Profundo En...

  • 29,90€ 28,41€
29,90€ 28,41€
Aprender Docker, un enfoque práctico

Aprender Docker, Un Enfoque Práctico...

  • JOSE JUAN SANCHEZ HERNANDEZ
  • 306 páginas
  • 22,85€ 21,71€
22,85€ 21,71€
Desarrollo de motores de búsqueda utilizando herramientas open source

Desarrollo De Motores De Búsqueda Utilizando...

  • José Manuel Ortega Candel
  • 330 páginas
  • 34,80€ 33,06€
34,80€ 33,06€
Curso de Programación. Android con Kotlin

Curso De Programación. Android Con...

  • 448 páginas
  • 29,95€ 28,45€
29,95€ 28,45€

Otra información de interés

  • Portada: Types for Proofs and Programs de Springer Nature B.V.
  • Editorial: Springer Nature B.V. | 20/05/1994
  • Sinopsis:

    El autor de Types for Proofs and Programs, con isbn 978-3-540-58085-0, es Henk Barendregt, esta publicación tiene trescientas noventa y dos páginas.

Types for Proofs and Programs