Implementacion de especificaciones algebraicas
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su […]
Tesis doctoral de Ricardo Peña Mari
Información academica Ricardo Peña Mari. Tesis donde Ricardo Peña Mari ha sido autor, director o parte del tribunal.
En busca del tiempo perdido
Tesis doctoral de Yolanda Ortega Mallen Datos académicos de la tesis doctoral «En busca del tiempo perdido« Título de
«un model pel tractament de la informacio temporal en un sistema de comprensio automatica de noticies»
Tesis doctoral de Nuria Castell Ariño Datos académicos de la tesis doctoral ««un model pel tractament de la informacio
Especificacion algebraica de tipos abstractos de datos no deterministas.
Tesis doctoral de Federico Valenciano Llovera Datos académicos de la tesis doctoral «Especificacion algebraica de tipos abstractos de datos