図書

Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001 : Aachen, Germany, September 12-14, 2001 : proceedings. : 1st joint PAPM-PROBMIV workshop : Sep 2001, Aachen, Germany. (Lecture Notes in Computer Science ; 2165)

図書を表すアイコン

Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001 : Aachen, Germany, September 12-14, 2001 : proceedings. : 1st joint PAPM-PROBMIV workshop : Sep 2001, Aachen, Germany.

(Lecture Notes in Computer Science ; 2165)

国立国会図書館請求記号
M17-03-2411
国立国会図書館書誌ID
000004189907
資料種別
図書
著者
De Alfaro, Luca, 1966-ほか
出版者
Springer
出版年
c2001.
資料形態
紙
ページ数・大きさ等
xii, 215 p. : ill. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記：

Papers.Related URL: http: //link.springer-ny.com/link/service/series/0558/tocs/t2165.htm.

書店で探す

書店で探す

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
図書
ISBN
354042556X (pbk. : acid-free paper)
ISSN（シリーズ）
0302-9743
タイトル
Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001 : Aachen, Germany, September 12-14, 2001 : proceedings. : 1st joint PAPM-PROBMIV workshop : Sep 2001, Aachen, Germany.
シリーズタイトル
Lecture Notes in Computer Science ; 2165
著者標目
De Alfaro, Luca, 1966-
Gilmore, Stephen, 1962-
PAPM-PROBMIV 2001 (2001 : Aachen, Germany)
出版事項
New York : Springer
出版年月日等
c2001.
出版年（W3CDTF）
2001
数量
xii, 215 p. : ill. ; 24 cm.