Tesis doctoral sobre Teoría de la programacion

Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.

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

Decidibilidad de problemas sobre redes de petri temporizadas.

Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas.

Frutos Escrig David De, Javier Campos laclaustra, Javier Esparza Estaun, Javier Martinez Rodríguez, Mario Rodríguez Artalejo, valentín Valero ruiz

L2 ii o2 un lenguaje logico concurrente orientado a objetos

Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la

ernesto Pimentel sanchez, Fernando Orejas Valdés, Isidro Ramos Salavert, José María Troya Linero, Manuel Hermenegildo Salinas, Mario Rodríguez Artalejo

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