このページのリンク

Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds.)
(Lecture notes in computer science ; 2165)

データ種別 図書
出版者 Berlin ; Tokyo : Springer
出版年 c2001
本文言語 英語
大きさ xii, 215 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:267:P36:2001
354042556X 003450972

書誌詳細を非表示

一般注記 Including bibliographical references and index
著者標目 *PAPM-PROBMIV (2001 : Aachen, Germany)
Process Algebras and Performance Modeling Workshop
Probabilistic Methods in Verification
De Alfaro, Luca, 1966-
Gilmore, Stephen, 1962-
件 名 LCSH:Machine theory -- Congresses  全ての件名で検索
LCSH:Parallel processing (Electronic computers) -- Congresses  全ての件名で検索
分 類 LCC:QA267
巻冊次 ISBN:354042556X REFWLINK
ISBN 354042556X
NCID BA53606334 WCLINK
目次/あらすじ

 類似資料