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 - Herman Geuvers - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540140313 - 28 de abril de 2003
En caso de que portada y título no coincidan, el título será el correcto

Herman Geuvers
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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

680 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de abril de 2003
ISBN13 9783540140313
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 680
Dimensiones 156 × 234 × 18 mm   ·   480 g
Lengua Alemán  
Editor Geuvers, Herman
Editor Wiedijk, Freek

Mere med samme udgiver

Ver todo de Herman Geuvers ( Ej. Paperback Book )