Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Autor David M. Russinoff 5 mar 2023 Paperback Preț: 710.81 lei 888.51 lei 43-57 zile -20%