Accesos directos a las distintas zonas del curso
Ir a los contenidos
Ir a menú navegación principal
Ir a menú pie de página
Subject's code : 31105024
Una de las herramientas con las que más se trabaja en esta asignatura es Alloy. Desde su página se pueden encontrar ayudas y consejos: http://alloy.mit.edu/alloy/index.html
Otra página interesante es: http://www.doc.ic.ac.uk/project/examples/2007/271j/suprema_on_alloy/Web