Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]
Argitaletxea: Universidad Complutense de Madrid
ISBN: 1-4135-5979-4
Argitalpen urtea: 1996
Mota: Liburua
Argitaletxea: Universidad Complutense de Madrid
ISBN: 1-4135-5979-4
Argitalpen urtea: 1996
Mota: Liburua