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.

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 […]

Isidro Ramos Salavert, María Alpuente Frasnedo, marisa Navarro gómez, michael Hanus, Robert Lukas Mario Nieuwenhuis, salvador Lucas alba

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

Alonso Gonzalez Luis M., Angel Alvarez Rodriguez, De Frutos Escrig David, José María Troya Linero, marisa Navarro gómez, Ricardo Peña Mari

Implementacion de especificaciones algebraicas

Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su

José María Troya Linero, Mario Rodríguez Artalejo, marisa Navarro gómez, Ricardo Peña Mari, Sanchez Ortega Ana R., Silvia Clerici Martinez