Formal Semantics and Proof Techniques for Optimizing VHDL Models
Wilsey Philip A. Umamageswaran Kothanda Pandey Sheetanshu L.
Sold by Majestic Books, Hounslow, United Kingdom
AbeBooks Seller since January 19, 2007
New - Soft cover
Condition: New
Quantity: 4 available
Add to basket