Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 4486, Band 4486)
Ein praxisorientiertes Lehrbuch, das formale Techniken zur Leistungsanalyse von Computersystemen und Netzwerken detailliert erklärt, theoretische Mod ...