Process Algebra and Probabilistic Methods: Performance Modeling and Verification
67,86 €
Invited Contributions. - Probability and Timing: Challenges for Secure Programming. - Selected Papers. - Security Analysis of a Probabilistic Non-repudiation Protocol. - Probabilistic Unfoldings and Partial Order Fairness in Petri Nets.
Jetzt bei Ebay:
