Books > Computing & IT
|
Buy Now
Semantics of Probabilistic Processes - An Operational Approach (Paperback, Softcover reprint of the original 1st ed. 2014)
Loot Price: R2,175
Discovery Miles 21 750
|
|
Semantics of Probabilistic Processes - An Operational Approach (Paperback, Softcover reprint of the original 1st ed. 2014)
Expected to ship within 10 - 15 working days
|
This book discusses the semantic foundations of concurrent systems
with nondeterministic and probabilistic behaviour. Particular
attention is given to clarifying the relationship between testing
and simulation semantics and characterising bisimulations from
metric, logical, and algorithmic perspectives. Besides presenting
recent research outcomes in probabilistic concurrency theory, the
book exemplifies the use of many mathematical techniques to solve
problems in computer science, which is intended to be accessible to
postgraduate students in Computer Science and Mathematics. It can
also be used by researchers and practitioners either for advanced
study or for technical reference.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Release date: |
October 2016 |
First published: |
2014 |
Authors: |
Yuxin Deng
|
Dimensions: |
235 x 155 x 14mm (L x W x T) |
Format: |
Paperback
|
Pages: |
249 |
Edition: |
Softcover reprint of the original 1st ed. 2014 |
ISBN-13: |
978-3-662-51598-3 |
Categories: |
Books >
Computing & IT >
General
Books >
Science & Mathematics >
Mathematics >
General
|
LSN: |
3-662-51598-9 |
Barcode: |
9783662515983 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.