multiprogramming logic proof

multiprogramming logic proof是什么意思、multiprogramming logic proof怎么读
【计】 多道程序设计逻辑证明

multiprogramming logic proof汉语翻译

【计】 多道程序设计逻辑证明