::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Eva Magdalena M., author

Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997

S26968

UI - Skripsi Membership  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

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

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak