Preescritura con restricciones de reemplazamiento
Tesis doctoral de Salvador Lucas Alba La reescritura de términos constituye un mecanismo operacional útil para implementar un buen número […]
Tesis doctoral de marisa Navarro gómez
Información academica marisa Navarro gómez. Tesis donde marisa Navarro gómez ha sido autor, director o parte del tribunal.
Implementacion de especificaciones algebraicas
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su
Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes
Tesis doctoral de Alonso Gonzalez Luis M. Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a sistemas