程序验证

更新时间:-- | 阅读量: 62

研究程序正确性的理论。为了解一个程序是否正确地实现了预定的目标,通常是规定一些初始

搜索到与“ 程序验证”相关的文献共 0

查看更多

程序验证相似词

程序验证相关词

程序验证相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号