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 onlyItem 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
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
005.133 WAL Java : the good parts / | 005.133 WEL Essentials of programming in Mathematica / | 005.14 CLA Model checking / | 005.14 DEN Semantics of probabilistic processes. an operational approach. | 005.14 KRO Decision procedures : an algorithmic point of view / | 005.43 ANT Mastering Ethereum : building smart contracts and DApps / | 005.7 BAH Big Data Analytics a hands-on approach |
Includes bibliographic notes and index.