Formal Semantics and Proof Techniques for Optimizing VHDL Models, (Paperback)

Formal Semantics and Proof Techniques for Optimizing VHDL Models, (Paperback) Author: Springer ISBN: 9781461373315 Format: Paperback Publication Date: 2012-10-26 Page Count: 158You may also like The Study of Time II: Proceedings of the Second Conference of the International Society for the Study of Time Lake Yaman, (Paperback).