Mathematical techniques for analyzing concurrent and probabilistic systems

Mathematical techniques for analyzing concurrent and probabilistic systems

J.J.M.M. Rutten ... [et al.] ; Prakash Panangaden, Franck van Breugel, editors

Providence, R.I. : American Mathematical Society, c2004

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.61-R91

10004004076

一般図書

2

007.61-R91

10004004078

一般図書

詳細情報

刊年

2004

形態

viii, 215 p. : ill. ; 26 cm

別書名

Concurrent and probabilistic systems

シリーズ名

CRM monograph series ; v. 23

注記

Includes bibliographical references (p. 209-215)

出版国

アメリカ合衆国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Rutten, J. J. M. M.

Panangaden, P. (Prakash)

Breugel, Franck van, 1966- [ Van Breugel, Franck, 1966- ] [ Breugel, Franciscus Cornelus van, 1966- ]

分類

LCC:QA402

DC22:003

件名

System analysis

ISBN

0821835718

NCID

BA66610163

番号

LCCN : 2004041069