Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Autor David M. Russinoff et al. 25 ian 2019 Paperback Preț: 566.62 lei 666.61 lei 6-8 săpt. -15%