Ditemukan 2 dokumen yang sesuai dengan query
Eva Magdalena M., author
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
S26968
UI - Skripsi Membership Universitas Indonesia Library
Russinoff, David M., author
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to...
Switzerland: Springer Cham, 2019
e20502864
eBooks Universitas Indonesia Library
