عنوان
پدید آورنده
موضوع
رده
QA,267,.P362,2002
QA
,
267
,.
P362
,
2002
کتابخانه
محل استقرار
alk. paper)
3540439137 (pbk.
IR
ebook29084
انگلیسی
IR
Process algebra and probabilistic methods
[Electronic Resource]
:performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
/ Holger Hermanns, Roberto Segala, eds
Berlin ;New York
: Springer,
, c2002.
x, 214 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 2399)
e
Includes bibliographical references and index.
Machine theory--Congresses
Parallel processing (Electronic computers)--Congresses
511
.
3
QA
,
267
,.
P362
,
2002
Hermanns, Holger� 1967
Segala, Roberto� 1968
PAPM-PROBMIV 2002(2002 :Copenhagen, Denmark)
ایران
511.3
3540439137.pdf
0
0
old catalog
e
BL
1
a
Y
