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 6-8 săpt. -15%