Ir
Ordenar por:
títuloFecha de defensafecha de envío
Orden:
ascendentedescendente
Resultados:
51020406080100
Modificar
Mostrando ítems 1-1 de 1
Mylonakis Pascual, Nicos (Fecha de defensa: 2000-06-30)
A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo formal de software, ...