Formal Verification of Floating-Point Hardware Design: A Mathematical ApproachE-bookFormal Verification of Floating-Point Hardware Design: A Mathematical ApproachdiDavid M. RussinoffValutazione: 0 su 5 stelle0 valutazioniSalva Formal Verification of Floating-Point Hardware Design: A Mathematical Approach per dopo