Tallenna
Semantics of Probabilistic Processes
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.
- Alaotsikko
- An Operational Approach
- Kirjailija
- Yuxin Deng
- Painos
- Softcover reprint of the original 1st ed. 2014
- ISBN
- 9783662515983
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 6.10.2016
- Sivumäärä
- 249
