Tesis doctoral de Jesús Angel Velazquez Iturbide
Datos académicos de la tesis doctoral «Derivacion deductiva de programas funcionales con patrones«
- Título de la tesis: Derivacion deductiva de programas funcionales con patrones
- Autor: Jesús Angel Velazquez Iturbide
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Tribunal
- Presidente del tribunal: Manuel Collado Machuca
- Ana García Serrano (vocal)
- Juan José Moreno Navarro (vocal)
- Vicente Feliu Batlle (vocal)