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

  1. Núñez García, Manuel
  2. Frutos Escrig, David de

Editorial: Universidad Complutense de Madrid

ISBN: 1-4135-5979-4

Año de publicación: 1996

Tipo: Libro