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

1988

  1. Diseño de protocolos: técnicas de especificación y descripción formal

    Revista de informática y automática, Año 21, Núm. 1, pp. 28-37

  2. Enseñanza asistida por computadora: líneas de investigación y desarrollo en un futuro inmediato [...]

    Universidad Complutense de Madrid

  3. Introducción al Turbo Basic

    McGraw-Hill Interamericana de España

  4. Microprocessor instruction for undergraduate students

    Education and Computing, Vol. 4, Núm. 4, pp. 265-272

  5. Motion of a charge in a magnetic dipole field. I. Painlevé analysis and a conservative numerical scheme

    Applied Mathematics and Computation, Vol. 25, Núm. 3, pp. 207-217

  6. Panorámica de la E.A.C en España: proyectos en el Departamento de Informática y Automática de la Universidad Complutense

    Enseñanza asistida por computadora: líneas de investigación y desarrollo en un futuro inmediato [...]

  7. Prototiping the "Prodes" language using logic programming

    Mini and Microcomputers and their applications

  8. Some general incompleteness results for partial correctness logics

    Information and Computation, Vol. 79, Núm. 1, pp. 22-42