A Formal Approach to Hardware Design (The Springer International Series in Engineering and Computer Science, 253, Band 253) | DealShopping Deutschland