prove of concurrent program

英 美
  • 并发程序验证
  • concurrent adj.同时发生的
  • of prep.关于;...的(表所属);出身于;由于
  • program n.节目;计划;程序;课程;节目单vt.编制程序;安排;指定
  • prove v.证明;检验;结果是;发酵