Formal Methods and Stochastic Models for Performance Evaluation: Fourth European
68,21 €
Optimization Problems in Service Provisioning Systems. - Markov Chains. - A Canonical Representation of Order 3 Phase Type Distributions. - Process Algebras and State Machines. - Faster SPDL Model Checking Through Property-Driven State Space Generation.
Jetzt bei Ebay: