借閱次數
:
Process algebra and probabilistic methods performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /
點閱:19
評分:0
評論:0
引用:0
轉寄:0
008
101206s2002 gw s j eng d
001
99424
020
|a9783540439134 (paper)
050
00
|aQA267|b.P362 2002|cP217
082
00
|a511.3|221
090
|aQA267|b.P217 2002
809
|pEB|dQA267|eP217|y2002
111
2
|aPAPM-PROBMIV 2002|d(2002 :|cCopenhagen, Denmark)
245
10
|aProcess algebra and probabilistic methods|h[electronic resource] :|bperformance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /|cHolger Hermanns, Roberto Segala, eds.
260
|aBerlin ;|aNew York :|bSpringer,|cc2002.
300
|ax, 214 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v2399
650
0
|aMachine theory|vCongresses.
650
0
|aParallel processing (Electronic computers)|vCongresses.
700
1
|aHermanns, Holger.
700
1
|aSegala, Roberto.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-45605-8
950
|aComputer Science (Lecture Notes in Computer Science)
館藏
簡介
作者簡介
標籤(0)
收藏(0)
評論(0)
評分(0)