Livres (1) Publications auxquelles un chercheur a participé

2001

  1. Semánticas de pruebas para álgebras de procesos probabilísticos

    Madrid : Universidad Complutense de Madrid, Vicerrectorado de Extensión Universitaria, [2001]