Zohar Manna, Amir Pnueli: Temporal Verification of Reactive Systems bei ebook.de. Online bestellen oder in der Filiale abholen.