Study of a Parallel Programming Method of Using Design Patterns in Program Refinement Calculus是什么意思_Study of a Parallel Programming Method of Using Design Patterns in Program Refinement Calculus在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句