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 6-8 săpt. -20%