ISBN 146137331X books & textbook

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Umamageswaran, Kothanda Pandey, Sheetanshu L. Wilsey, Philip A.

Springer /2012-10-26 Paperback / 179 Pages
isbn-10: 146137331X / isbn-13: 9781461373315