Formal Verification of Floating-Point Hardware Design: A Mathematical ApproachE-bookFormal Verification of Floating-Point Hardware Design: A Mathematical ApproachdeDavid M. RussinoffNota: 0 de 5 estrelas0 notasSalve Formal Verification of Floating-Point Hardware Design: A Mathematical Approach para mais tarde