Computer-Aided Reasoning Editat de Matt Kaufmann et al. 30 iun 2000 Hardback Preț: 1232.36 lei 1540.45 lei 6-8 săpt. -20%
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Autor David M. Russinoff et al. 25 ian 2019 Paperback Preț: 566.62 lei 666.61 lei 6-8 săpt. -15%