Validation of stochastic systems : a guide to current research

Validation of stochastic systems : a guide to current research

Christel Baier ... [et al.] (eds.)

Berlin : Springer, c2004

図書等

巻号情報

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

1

007.08-L49-2925

10004017833

一般図書

詳細情報

刊年

2004

形態

viii, 465 p. : ill ; 24 cm

シリーズ名

Lecture notes in computer science ; 2925

注記

"Tutorial" -- On cover

Includes bibliographies and index

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Baier, Christel

ISBN

3540222650

NCID

BA68730949

番号

LCCN : 2004110613