Formal Verification of Floating-Point Hardware Design: A Mathematical ApproacheBookFormal Verification of Floating-Point Hardware Design: A Mathematical ApproachkaryaDavid M. RussinoffPenilaian: 0 dari 5 bintang0 penilaianSimpan Formal Verification of Floating-Point Hardware Design: A Mathematical Approach untuk nanti