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