Process Algebra and Probabilistic Methods Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... Notes in Computer Science, Band 2399)
53.49 EUR
Ein kompakter Sammelband des zweiten internationalen Workshops zu Prozessalgebra und probabilistischen Methoden, der innovative Ansätze für Leistungsmodellierung und Verifikation präsentiert.