Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Libro	Técnicas digitales con circuitos integrados	Ginzburg, Mario Carlos	3a ed. aum.   (1983)		----------
Libro	Verifying concurrent processes using temporal logic:	Hailpern, Brent T.	1a ed.   (1982)	Domicilio	----------