Formal Semantics and Proof Techniques for Optimizing VHDL Models Autor Kothanda Umamageswaran et al. 30 noi 1998 Hardback Preț: 660.08 lei 776.57 lei 6-8 săpt. -15%