Dieses Buch bietet einen tiefen Einblick in formale Verfahren zur Leistungsbewertung von Computersystemen und Kommunikationsnetzwerken, verbindet theoretische Modelle mit praktischen Analysewerkzeugen und liefert Studierenden sowie Fachleuten neue Strategien für die Optimierung komplexer Softwaresysteme.