http://hdl.handle.net/123456789/408 Sat, 04 Apr 2026 05:47:52 GMT 2026-04-04T05:47:52Z http://hdl.handle.net/123456789/12405 Fundamentos de diseño lógico y de computadoras. 3.a ed. Kime, Charles R.; Mano, M. Morris Sat, 01 Jan 2005 00:00:00 GMT http://hdl.handle.net/123456789/12405 2005-01-01T00:00:00Z http://hdl.handle.net/123456789/12088 Formal verification of floating-point hardware design : a mathematical approach Russinoff, David M. Tue, 01 Jan 2019 00:00:00 GMT http://hdl.handle.net/123456789/12088 2019-01-01T00:00:00Z