Biltzar ekarpenak (4) Ikertzaileren baten partaidetza izan duten argitalpenak

1987

  1. FORMAL SPECIFICATION APPROACH TO LOCAL AREA NETWORKS SCENARIOS IN THE CONTEXT OF OSI REFERENCE MODEL.

    Sin título en SCOPUS

  2. TEACHING MICROPROGRAMMABLE ARCHITECTURES: HARDWARE/FIRMWARE DESIGN PROJECTS.

    Proceedings - Frontiers in Education Conference

  3. Un método de Tableaux para la lógica dinámica proposicional

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987

  4. Un sistema de verificación para lenguajes de programación tipo funcional

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987