Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 2 dokumen yang sesuai dengan query
Eva Magdalena M., author
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
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
eBooks  Universitas Indonesia Library