Normal view MARC view ISBD view

Semantics of probabilistic processes. an operational approach. Yuxin Deng.

By: Deng, Yuxin [author.].
Contributor(s): University of Birmingham. School of Computer Science.
Material type: TextTextPublisher: 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
List(s) this item appears in: 2017-04-04
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.