Semánticas de pruebas para álgebras de procesos probabilísticos
Publisher: Madrid : Universidad Complutense de Madrid, Vicerrectorado de Extensión Universitaria, [2001]
ISBN: 84-669-0709-2
Year of publication: 2001
Type: Book
Publisher: Madrid : Universidad Complutense de Madrid, Vicerrectorado de Extensión Universitaria, [2001]
ISBN: 84-669-0709-2
Year of publication: 2001
Type: Book