عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2165
QA
76
.
L28
Vol
.
2165
کتابخانه
محل استقرار
Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
2001 : Aachen, Germany
Berlin
Springer-Verlag
c2001
xii, 215 p.: ill., tables
Lecture notes in computer science; 5612
Includes bibliographies
ISBN: 354042556X
Luca de Alfaro, Stephen Gilmore )eds.(
1
Congresses ، Machine theory
Congresses ، Parallel processing )Electronic computers(
QA
76
.
L28
Vol
.
2165
AU
AU De Alfaro, Luca, 1966-
AU Gilmore, Stephen, 1962-
TI
SE
PAPM-PROBMV
