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

 
9783540403326: Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
Ver todas las copias de esta edición ISBN.
 
 
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

Gastos de envío: GRATIS
A Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

Imagen del vendedor

Hofmann, Martin
Publicado por Springer (2003)
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Soft Cover Cantidad disponible: 10
Librería:
booksXpress
(Bayonne, NJ, Estados Unidos de America)

Descripción Soft Cover. Condición: new. Nº de ref. del artículo: 9783540403326

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 53,64
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Hofmann, Martin
Publicado por Springer (2003)
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Tapa blanda Cantidad disponible: > 20
Librería:
Lucky's Textbooks
(Dallas, TX, Estados Unidos de America)

Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020166142

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 57,01
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,72
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

Abramsky, Samson (EDT)
Publicado por Springer (2003)
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Tapa blanda Cantidad disponible: 5
Librería:
GreatBookPrices
(Columbia, MD, Estados Unidos de America)

Descripción Condición: New. Nº de ref. del artículo: 6047151-n

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 58,30
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,46
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Martin Hofmann
Publicado por Springer (2003)
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Tapa blanda Cantidad disponible: > 20
Impresión bajo demanda
Librería:
Ria Christie Collections
(Uxbridge, Reino Unido)

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

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 59,66
Convertir moneda

Añadir al carrito

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

Martin Hofmann
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Taschenbuch Cantidad disponible: 2
Impresión bajo demanda
Librería:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Alemania)

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

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 53,49
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

Abramsky, Samson (EDT)
Publicado por Springer (2003)
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Tapa blanda Cantidad disponible: 5
Librería:
GreatBookPricesUK
(Castle Donington, DERBY, Reino Unido)

Descripción Condición: New. Nº de ref. del artículo: 6047151-n

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 59,64
Convertir moneda

Añadir al carrito

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

Martin Hofmann
Publicado por Springer Verlag (2003)
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Paperback Cantidad disponible: 2
Librería:
Revaluation Books
(Exeter, Reino Unido)

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

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 71,10
Convertir moneda

Añadir al carrito

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

N/A
Publicado por Springer (2003)
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Tapa blanda Cantidad disponible: 15
Librería:

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

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 74,05
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Hofmann, Martin
Publicado por Springer (2003)
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Tapa blanda Cantidad disponible: 1
Librería:
Books Puddle
(New York, NY, Estados Unidos de America)

Descripción Condición: New. pp. 334. Nº de ref. del artículo: 262166482

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 85,42
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,72
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

Martin Hofmann
Publicado por Springer Berlin Heidelberg (2003)
ISBN 10: 3540403329 ISBN 13: 9783540403326
Nuevo Taschenbuch Cantidad disponible: 1
Librería:
AHA-BUCH GmbH
(Einbeck, Alemania)

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

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 58,10
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda