Formal Semantics and Proof Techniques for Optimizing VHDL Models Autor Kothanda Umamageswaran et al. 26 oct 2012 Paperback Preț: 610.50 lei 718.24 lei 6-8 săpt. -15%