Formal Semantics and Proof Techniques for Optimizing VHDL Models Autor Kothanda Umamageswaran et al. 30 noi 1998 Hardback Preț: 636.31 lei 748.60 lei 43-57 zile -15%