Artículos relacionados a Types for Proofs and Programs: International Workshop...

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings (Lecture Notes in Computer Science) - Tapa blanda

 
9780387605791: Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings (Lecture Notes in Computer Science)
Tapa blanda
ISBN 10: 0387605797 ISBN 13: 9780387605791

Esta edición ISBN ya no está disponible.

Idioma
Inglés
ISBN 10 
0387605797
ISBN 13 
9780387605791
Encuadernación
Tapa blanda
Contacto del fabricante
no disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783540605799: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers: 996 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540605797 ISBN 13:  9783540605799
Editorial: Springer, 2008
Tapa blanda