http://hdl.handle.net/123456789/407 Mon, 06 Apr 2026 08:35:29 GMT 2026-04-06T08:35:29Z 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