Get Free Shipping on orders over $79
Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Luca de Alfaro
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

By: Luca de Alfaro (Editor), Stephen Gilmore (Editor)

Paperback | 29 August 2001

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.

More in Artificial Intelligence

AI for Business : A Guide to AI Adoption - Jon Whittle

RRP $49.99

$40.75

18%
OFF
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
The Singularity is Nearer : When We Merge with AI - Ray Kurzweil

RRP $26.99

$22.99

15%
OFF
New Beginnings : why change is so difficult and how to achieve it - Stefan Klein
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Genesis : Artificial Intelligence, Hope, and the Human Spirit - Eric Schmidt
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark
Handbook of Reinforcement Learning - Todd Mcmullen
Current Trends in Automated Reasoning - Erika Bach