Thomas Kropf: Introduction to Formal Hardware Verification bei ebook.de. Online bestellen oder in der Filiale abholen.