Semantics of probabilistic processes. an operational approach. Yuxin Deng.
By: Deng, Yuxin [author.].
Contributor(s): University of Birmingham. School of Computer Science.
Material type:
TextPublisher: New York, NY : Springer Berlin Heidelberg, 2014Description: xiv, 249 pages, E 84.99 ill.Content type: text Media type: unmediated Carrier type: volumeISBN: 9783662451977 (bhk.).Subject(s): | Computer softwareOnline resources: Contributor biographical information | Publisher description | Table of contents only
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Book | Chennai Mathematical Institute General Stacks | 005.14 DEN (Browse shelf) | Available | 10100 |
Total holds: 0
Includes bibliographic notes and index.