Stock image for illustration purposes only - book cover, edition or condition may vary.
Process Algebra and Probabilistic Methods - Performance Modeling and Verification
. Ed(S): Hermanns, Holger; Segala, Roberto
€ 65.72
FREE Delivery in Ireland
Description for Process Algebra and Probabilistic Methods - Performance Modeling and Verification
Paperback. Constitutes the proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, held in Denmark in 2002. The 10 papers cover fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, and more. Editor(s): Hermanns, Holger; Segala, Roberto. Series: Lecture Notes in Computer Science. Num Pages: 232 pages, biography. BIC Classification: PBF; PBWH; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 730.
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to ... Read more
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
232
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
222
Place of Publication
Berlin, Germany
ISBN
9783540439134
SKU
V9783540439134
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Process Algebra and Probabilistic Methods - Performance Modeling and Verification