Su búsqueda retornó 2 resultados.

Resultados
		Modern compiler implementation in Java / Andrew W. Appel with Jens Palsberg. por Appel, Andrew W, 1960- \| Palsberg, Jens. Edición: 2a.Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: Cambridge, UK ; New York, NY, USA : Cambridge University Press, 2002Acceso en línea: Table of contents \| Publisher description Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA76.73 .J38 A66 2002, ...
		Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / edited by Isil Dillig, Jens Palsberg. por Dillig, Isil [editor.] \| Palsberg, Jens [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10747Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda