2 books • 1 series
Hardware/Software Co-Design
A Formal Approach to Hardware Design (The Springer International Series in Engineering and Computer Science, #253)