Mathematical techniques for analyzing concurrent and probabilistic systems / J.J.M.M. Rutten [and others] ; Prakash Panangaden, Franck van Breugel, editors.
| Other author | Rutten, J. J. M. M. |
| Other author | Panangaden, P. (Prakash) |
| Other author | Breugel, Franck van, 1966- |
| Format | Book |
| Publication Info | Providence, R.I. : American Mathematical Society, ©2004. |
| Description | viii, 215 pages : illustrations ; 25 cm. |
| Subjects |
| Series | CRM monograph series ; v. 23, 1065-8599 ; CRM monograph series v. 23. ^A327318 |
| Bibliography note | Includes bibliographical references (p. 209-215). |
| LCCN | 2004041069 |
| ISBN | 0821835718 (acid-free paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA402 .M3594 2004 | ✔ Available | Place Hold |