Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)

Idioma: inglés

Editorial: Springer, 2003

354014031X / 9783540140313

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 17 de abril de 2008

Ver los artículos de este vendedor
Tapa blanda

Condición: Nuevo

EUR 109,95

Envío por EUR 5,95 
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Descripción del artículo del vendedor

In shrink wrap. Looks like an interesting title.

N° de ref. del artículo Q-354014031X

Título
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)
Autor
Geuvers, Herman [Editor]; Wiedijk, Freek [Editor];
Editorial
Springer
Año de publicación
2003
Estado
New
Encuadernación
paperback
Idioma
inglés
ISBN 10
354014031X
ISBN 13
9783540140313
Peso del artículo
17 onzas
Dimensiones
6x0x9

BennettBooksLtd

Los Angeles, CA, Estados Unidos de America

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 17 de abril de 2008

Tarifas de envío en Estados Unidos de America

ArtículoDe 7 a 30 días hábilesDe 3 a 14 días hábiles
Primer artículoEUR 5,95EUR 8,52
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay

Información empresarial del vendedor

BennettBooksLtd

CA, Estados Unidos de America