Formal Methods for Performance Evaluation

53.49 EUR

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.

Teilen: