并行控制的正确度 correctness of concurrency control 正确度导向程序设计 correctness oriented programming 正确性证明 correctness proof ..
基于8个网页-相关网页
... 用户的程序设计 user programming 正确性的程序设计 correctness oriented programming 编译程序的程序设计 compiler programming ...
基于1个网页-相关网页
correctness-oriented programming 面向正确性的程序设计
应用推荐