Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Julia Seiter
Download Now
Format: eBook (EPUB)
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
Arun Chandrasekharan
Download Now
Format: eBook (EPUB)