30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Process Algebra and Probabilistic Methods Performance Modeling and Verification Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings

Author: 


ISBN-13: 

9783540425564


ISBN: 

354042556X


Publisher:  Springer
Summary: This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabi...listic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.

De Alfaro, Luca is the author of Process Algebra and Probabilistic Methods Performance Modeling and Verification Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings, published under ISBN 9783540425564 and 354042556X. One hundred two Process Algebra and Probabilistic Methods Performance Modeling and Verification Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings textbooks are available for sale on ValoreBooks.com, two used from the cheapest price of $24.99, or buy new starting at $64.68.
 [read more]

Marketplace Prices
100 New from $64.68 2 Used from $24.99
  • Used $24.99
  • New $64.68
Price + Shipping
Condition
Details
Recommended
Product Details
Process Algebra and Probabilistic Methods Performance Modeling and Verification  Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings

ISBN-13: 9783540425564


ISBN: 354042556X


Publisher: Springer
Valore Books has some of the lowest prices for cheap Process Algebra and Probabilistic Methods Performance Modeling and Verification Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings rentals, or used and new condition books available to purchase and have shipped quickly.
Where's My Stuff?
Shipping & Returns