Jugando con el tiempo semántica de pruebas para algebras de procesos temporizadas /

Bibliographic Details
Main Author:	Llana Díaz, Luis Fernando
Corporate Author:	e-libro, Corp
Format:	Libros Digitales
Language:	Spanish
Published:	Madrid : Universidad Complutense de Madrid, 1996.
Subjects:	Matemáticas. Álgebra. Algebra. Mathematical. Libros electrónicos.
Online Access:	https://elibro.net/ereader/elibrounam/93636

Internet