What do you think?
Rate this book
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
Consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. This book is suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems.
215 pages, Hardcover
First published July 1, 2004
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.