Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. aplicación al lenguaje tesoro.
Tesis doctoral de Rafael Corchuelo Gil Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en […]
Información academica Hernández Núñez Juan Manuel. Tesis donde Hernández Núñez Juan Manuel ha sido autor, director o parte del tribunal.
Tesis doctoral de Rafael Corchuelo Gil Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en […]
Tesis doctoral de Juan Manuel Murillo Rodriguez En los últimos años, la necesidad de construir aplicaciones cada día más complejas,