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