Mathematical techniques for analyzing concurrent and probabilistic systems
Bibliographic Information
- Title
- "Mathematical techniques for analyzing concurrent and probabilistic systems"
- Statement of Responsibility
- J.J.M.M. Rutten ... [et al.] ; Prakash Panangaden, Franck van Breugel, editors
- Publisher
-
- American Mathematical Society
- Publication Year
-
- c2004
- Book size
- 26 cm
- Other Title
-
- Concurrent and probabilistic systems
Search this Book/Journal
Notes
Includes bibliographical references (p. 209-215)
- Tweet
Details 詳細情報について
-
- CRID
- 1130000796947133696
-
- NII Book ID
- BA66610163
-
- ISBN
- 0821835718
-
- LCCN
- 2004041069
-
- Web Site
- https://lccn.loc.gov/2004041069
-
- Text Lang
- en
-
- Country Code
- us
-
- Title Language Code
- en
-
- Place of Publication
-
- Providence, R.I.
-
- Subject
-
- LCSH: System analysis
-
- Data Source
-
- CiNii Books