Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]
Verlag: Universidad Complutense de Madrid
ISBN: 1-4135-5979-4
Datum der Publikation: 1996
Art: Buch
Verlag: Universidad Complutense de Madrid
ISBN: 1-4135-5979-4
Datum der Publikation: 1996
Art: Buch