Mathematical techniques for analyzing concurrent and probabilistic systems
Material type: Computer fileSeries: CRM Monograph Series ; v. 23Publication details: Providence, R.I. : American Mathematical Society, c2004Description: 1 online resource (viii, 215 p. : ill.)ISBN: 9781470438678 (online)Subject(s): System analysisOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
electronic book | ICTS | Link to resource | Accessible Online | EBK22789 |
Total holds: 0
Includes bibliographical references (p. 209-215).
There are no comments on this title.