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