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在线翻译_英语_读音_用法_例句