• Shop by category
  • Powered by eBay
  • Process Algebra and Probabilistic Methods: Performance Modeling and Verification

    • Item No : 134964789452
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.23
    • * Item Description

    • 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.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category