Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings - Lecture Notes in Computer Science - Uta Priss - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540439134 - July 10, 2002
In case cover and title do not match, the title is correct

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings - Lecture Notes in Computer Science 2002 edition

Uta Priss

Price
$ 65.49

Ordered from remote warehouse

Expected delivery Jun 21 - Jul 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings - Lecture Notes in Computer Science 2002 edition

The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies.

222 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 10, 2002
ISBN13 9783540439134
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 222
Dimensions 155 × 235 × 12 mm   ·   331 g
Editor Hermanns, Holger
Editor Segala, Roberto
Show all

More by Uta Priss

See all of Uta Priss ( e.g. Paperback Book )