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

Typed Lambda Calculi and Applications

6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Typed Lambda Calculi and Applications Martin Hofmann
Código Libristo: 01562714
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2003
This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda C... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

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

Clientes que también han comprado

Les Simpson - Edition collector - Tome 25 Supernova Matt Groening / Libro Tapa dura
common.buy 18.29 €
Guide des collections du musée de Draguignan Yohan Rimaud / Libro Tapa blanda
common.buy 16.09 €
TU HUELLA SERA MI RUMBO WILMS MONTT / Libro Tapa blanda
common.buy 14.99 €
L'instruction des enfants pauvres en ville Dessauw / Libro Tapa blanda
common.buy 34.69 €
Próximamente
Handbuch Sportverletzungen Christian Plesch / Libro Tapa blanda
common.buy 18.79 €
case magiche Agnese Baruzzi / Libro Libro de concertinas
common.buy 23.49 €
Édito C1 Elodie Heu / Libro Tapa blanda
common.buy 37.99 €
Towarzystwo Warszawskie Przyjaciol Nauk, 1800-1832 Alexander Kraushar / Libro Tapa blanda
common.buy 28.79 €
El tesoro del ahorcado RIERA CATALA / Libro Tapa blanda
common.buy 25.49 €
bar sotto il mare Stefano Benni / Libro Tapa blanda
common.buy 14.99 €
Logico Piccolo Llengua. Fitxer 4. Llengua. Fitxes Finken Verlag / Artículos de papelería Artículos de papelería
common.buy 24.39 €
LES ACCORDS AU PIANO (BOOK/CD) PIANO+CD BERCOVITZ Libro binding.
common.buy 52.09 €
Natation scolaire : surveillance, encadrement et conditions matérielles TOUCHARD / Libro Tapa blanda
common.buy 47.49 €
LA PIERRE D'ABEILLE Dominique / Libro Tapa blanda
common.buy 23.09 €
Psicopatología del poder: un ensayo sobre la perversión y la corrupción JORGE / Libro Tapa blanda
common.buy 19.89 €
Einfach singen! Christian Larsen / Libro Tapa blanda
common.buy 17.89 €
Memorias: el peso de la paja TERENCI MOIX / Libro Tapa blanda
common.buy 19.39 €
Von der Hoffnung auf Liebe und andere Dinge Silke Linke / Libro Tapa blanda
common.buy 11.59 €
Numerische Berechnung elektromagnetischer Felder Christian Hafner / Libro Tapa blanda
common.buy 73.09 €
Vih/Sida En Milieux de Travail Au Senegal Ndack Diop / Libro Tapa blanda
common.buy 104.39 €
Choix de Poesies, 1770-1786. Etrennes Du Parnasse, 1784 Jean Baptiste Milliet / Libro Tapa blanda
common.buy 22.99 €
Formacion del especialista de medicina general integral Lemus Lago Elia Rosa / Libro Tapa blanda
common.buy 101.59 €

This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.§The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

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 Typed Lambda Calculi and Applications
Autor Martin Hofmann
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2003
Número de páginas 320
EAN 9783540403326
ISBN 3540403329
Código Libristo 01562714
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 505
Dimensiones 155 x 235 x 19

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
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

C0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians Werner Amrein / Libro Tapa dura
common.buy 60.39 €
Transactions on Petri Nets and Other Models of Concurrency IX Maciej Koutny / Libro Tapa blanda
common.buy 60.39 €
Digital Health LUPTON / Libro Tapa blanda
common.buy 73.39 €
Arthur O'Shaughnessy, his Life and his Work Arthur O'Shaughnessy / Libro Tapa blanda
common.buy 22.79 €
CFTR and Cystic Fibrosis Carlos M. Farinha / Libro Tapa blanda
common.buy 60.39 €
System Design Optimization for Product Manufacturing Masataka Yoshimura / Libro Tapa dura
common.buy 118.29 €
Memories of Emineaden: A Tale of Love, DNA, and Deja Vu Robert W Williams / Libro Tapa blanda
common.buy 13.49 €
27 Mystical and musing ways to wellness Doris Richardson-Edsell / Libro Tapa blanda
common.buy 11.19 €
100 Worksheets - Find Successor of 5 Digit Numbers: Math Practice Workbook Kapoo Stem / Libro Tapa blanda
common.buy 9.79 €
Direct Synthesis of Metal Complexes B.I. Kharisov / Libro Tapa blanda
common.buy 234.19 €
David Goldblatt: Photographs 1948-2018 RACHEL KENT / Libro Tapa dura
common.buy 74.19 €
Life in the Country House in Georgian Ireland Patricia Mccarthy / Libro Tapa blanda
common.buy 37.29 €
7 Strategies for Improving Your School Williamson / Libro Tapa blanda
common.buy 47.59 €
Downton Abbey - der Kinofilm Julian Fellowes / Video Blu-ray
common.buy 13.29 €
Iowa Public Adjuster Exam Unofficial Self Practice Exercise Questions: covering Fundamental Claim Adjusting Knowledge Examreview / Libro Tapa blanda
common.buy 42.49 €
The Buchholzes in Italy: Travelling Adventures of Wilhelmine Buchholz Julius Stinde / Libro Tapa blanda
common.buy 25.69 €
Machine Learning and AI for Healthcare Arjun Panesar / Libro Tapa blanda
common.buy 43.59 €
BANLIEUE DE PARIS 2021 (Outskirts of Paris) - Michelin Zoom Map 101 / Artículos impresos Mapa
common.buy 10.19 €
The Guilty Spouse: A Private Investigator Mystery Series of Crime and Suspense Thomas Fincham / Libro Tapa blanda
common.buy 14.49 €
Esio Trot Roald Dahl / Libro Tapa blanda
common.buy 9.39 €
East Asian Development Dwight H. Perkins / Libro electrónico Adobe ePub DRM
common.buy 43.09 €
For Times Such as These Ariana Katz / Libro electrónico Adobe ePub DRM
common.buy 40.39 €
I'll Be Home for Mischief Jacqueline Frost / Libro electrónico Adobe ePub DRM
common.buy 18.89 €
Ralph Thoresby, the Topographer D H Atkinson / Libro Tapa dura
common.buy 40.69 €

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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?