Artículos relacionados a Types for Proofs and Programs: International Workshop...
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (LECTURE NOTES IN COMP) - Tapa blanda
Sinopsis
Book by Barendregt Henk
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 95,23
EUR 21,56 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 107,16
EUR 9,92 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Types for Proofs and Programs: International Workshop...
Imagen de archivo
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)
Librería: Bookmans, Tucson, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. minor shelf wear Satisfaction 100% guaranteed. Nº de ref. del artículo: mon0002461486
Cantidad disponible: 1 disponibles
Imagen de archivo
Types for Proofs and Programs
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 383. Nº de ref. del artículo: 2650386418
Cantidad disponible: 1 disponibles
Imagen de archivo
Types for Proofs and Programs
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 383. Nº de ref. del artículo: 58157613
Cantidad disponible: 1 disponibles
Imagen de archivo
Types for Proofs and Programs
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 383. Nº de ref. del artículo: 1850386424
Cantidad disponible: 1 disponibles