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
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
New Beginnings : why change is so difficult and how to achieve it - Stefan Klein
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Empire of AI : Inside the reckless race for total domination - Karen Hao
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF