Ein praxisnahes Handbuch, das formale Verfahren zur Leistungsanalyse von Computersystemen und Netzwerken systematisch erläutert, theoretische Konzepte mit konkreten Modellierungswerkzeugen verknüpft und Studierenden sowie Fachleuten neue Perspektiven für die Optimierung komplexer Softwaresysteme eröffnet.