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
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 8 - 16

Our customers say:

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

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

Mere med samme udgiver

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