Libros (3) Publicaciones en las que ha participado algún/a investigador/a

1993

  1. Autómatas finitos con programación funcional

    Universidade da Coruña

  2. Construcción de álgebras en computación

    Universidad de Santiago de Compostela

  3. From annotated LOTOS specifications to queueing networks: Automating performance models derivation

    Publ by Elsevier Science Publishers B.V., pp. 401-412