Tesis doctorales: TESEO

Ficha de Tesis

  • Título:  MODELIZACION DE UN SISTEMA OPERATIVO MULTIPROPOSITO: ESPECIFICACION FORMAL EN ESTELLE.
  • Autor:  GONZALEZ ALONSO, OLIVERIO
  • Universidad:  Universidad de Oviedo
  • Fecha de Lectura:  01/01/1993
  • Programa de doctorado:  DESCONOCIDO
  • Dirección: 
    • GARCIA GARCIA VICTOR GUILLERMO    (Director)
  • Tribunal: 
    • VINYES I SANZ, JOAN    (presidente)
    • RAMOS MONTERO, RICARDO    (secretario)
    • VAZQUEZ GALLO, ENRIQUE    (vocal)
    • OJEA MERIN, GUILLERMO    (vocal)
    • CORRALES GONZALEZ, JOSE ANTONIO    (vocal)
  • Descriptores: 
    • MATEMATICAS
    • CIENCIA DE LOS ORDENADORES
    • TECNOLOGIA DE LOS ORDENADORES
    • CIENCIAS TECNOLOGICAS
    • SOFTWARE
  • Marcador:  https://www.educacion.gob.es/teseo/mostrarRef.do?ref=115926Añadir a favoritos.
  • Resumen:

versión 4.2

© Ministerio de Educación, Cultura y Deporte