Libros http://hdl.handle.net/123456789/408 2026-04-04T05:49:44Z 2026-04-04T05:49:44Z Fundamentos de diseño lógico y de computadoras. 3.a ed. Kime, Charles R. Mano, M. Morris http://hdl.handle.net/123456789/12405 2019-05-22T14:14:30Z 2005-01-01T00:00:00Z Fundamentos de diseño lógico y de computadoras. 3.a ed. Kime, Charles R.; Mano, M. Morris 2005-01-01T00:00:00Z Formal verification of floating-point hardware design : a mathematical approach Russinoff, David M. http://hdl.handle.net/123456789/12088 2019-05-09T14:57:11Z 2019-01-01T00:00:00Z Formal verification of floating-point hardware design : a mathematical approach Russinoff, David M. 2019-01-01T00:00:00Z