Davide Sangiorgi: Introduction to Bisimulation and Coinduction bei ebook.de. Online bestellen oder in der Filiale abholen.