Verification, Model Checking, and Abstract Interpretation bei ebook.de. Online bestellen oder in der Filiale abholen.