Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Autor David M. Russinoff 5 mar 2023 Paperback Preț: 683.92 lei 854.90 lei 6-8 săpt. -20%