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