عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook32450
eng
Process algebra and probabilistic methods :
:PROBMIV 2002 ; -PAPM
New York :
: Springer,
, 2002.
Print
Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
; - ; Segala, Roberto, ; 1968-Hermanns, Holger, ; 1967
old catalog
