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

Uta Priss
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

Price
R 884
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Nov 9 - 13
Christmas presents can be returned until 31 January
Get notified about new Uta Priss releases

Our customers say:

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

Not rated yet

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
Language German  
Editor Hermanns, Holger
Editor Segala, Roberto

More by Uta Priss

Show all

More from the same publisher

See all of Uta Priss