Buscar por Sustentante Jiménez del Valle, Rodrigo
Mostrando resultados 1 a 1 de 1
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Métodos formales ligeros : especificación de un sistema de elevadores en el analizador Alloy | Jiménez del Valle, Rodrigo | 2011 |