Artículos relacionados a Typed Lambda Calculi and Applications: 6th International...
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science) - Tapa blanda
Reseña del editor:
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer Berlin Heidelberg
- Año de publicación2008
- ISBN 10 3540403329
- ISBN 13 9783540403326
- EncuadernaciónTapa blanda
- Número de páginas332
Comprar nuevo
Ver este artículo
EUR 53,64
Gastos de envío:
GRATIS
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science) [Paperback ]
Publicado por
Springer
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Soft Cover
Cantidad disponible: 10
Librería:
Valoración
Descripción Soft Cover. Condición: new. Nº de ref. del artículo: 9783540403326
Comprar nuevo
EUR 53,64
Convertir moneda
Imagen de archivo
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science, 2701)
Publicado por
Springer
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020166142
Comprar nuevo
EUR 57,01
Convertir moneda
Imagen del vendedor
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 Proceedings
Publicado por
Springer
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 6047151-n
Comprar nuevo
EUR 58,30
Convertir moneda
Imagen de archivo
Typed Lambda Calculi and Applications : 6th International Conference; TLCA 2003; Valencia; Spain; June 10-12; 2003; Proceedings
Publicado por
Springer
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783540403326_lsuk
Comprar nuevo
EUR 59,66
Convertir moneda
Gastos de envío:
EUR 11,81
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Typed Lambda Calculi and Applications
Publicado por
Springer Berlin Heidelberg Mai 2003
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Taschenbuch
Cantidad disponible: 2
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 332 pp. Englisch. Nº de ref. del artículo: 9783540403326
Comprar nuevo
EUR 53,49
Convertir moneda
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 Proceedings
Publicado por
Springer
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 6047151-n
Comprar nuevo
EUR 59,64
Convertir moneda
Gastos de envío:
EUR 17,75
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 Proceedings
Publicado por
Springer Verlag
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Paperback
Cantidad disponible: 2
Librería:
Valoración
Descripción Paperback. Condición: Brand New. 1st edition. 317 pages. 9.50x6.50x1.00 inches. In Stock. Nº de ref. del artículo: x-3540403329
Comprar nuevo
EUR 71,10
Convertir moneda
Gastos de envío:
EUR 11,83
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
Publicado por
Springer
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Tapa blanda
Cantidad disponible: 15
Librería:
Valoración
Descripción Condición: New. Series: Lecture Notes in Computer Science. Num Pages: 328 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 470. . 2003. 2003rd Edition. paperback. . . . . Nº de ref. del artículo: V9783540403326
Comprar nuevo
EUR 74,05
Convertir moneda
Gastos de envío:
EUR 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Typed Lambda Calculi and Applications
Publicado por
Springer
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. pp. 334. Nº de ref. del artículo: 262166482
Comprar nuevo
EUR 85,42
Convertir moneda
Imagen del vendedor
Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
Publicado por
Springer Berlin Heidelberg
(2003)
ISBN 10: 3540403329
ISBN 13: 9783540403326
Nuevo
Taschenbuch
Cantidad disponible: 1
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783540403326
Comprar nuevo
EUR 58,10
Convertir moneda
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío