Vés
Ordena per:
títolData de defensadata d'enviament
Ordre:
ascendentdescendent
Resultats:
51020406080100
Actualitza
Ara mostrant els elements 1-1 de 1
Mylonakis Pascual, Nicos (Data 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, ...