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