Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

著者

書誌事項

Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

Holger Hermanns, Roberto Segala (eds.)

(Lecture notes in computer science, 2399)

Springer, c2002

大学図書館所蔵 件 / 24

この図書・雑誌をさがす

注記

Including bibliographies and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ