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

1996

  1. Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]

    Universidad Complutense de Madrid