Formal Methods at the Crossroads. From Panacea to Foundational Support bei ebook.de. Online bestellen oder in der Filiale abholen.