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

Éditorial: Universidad Complutense de Madrid

ISBN: 1-4135-5979-4

Année de publication: 1996

Type: Livre