更新时间:-- | 阅读量: 62
研究程序正确性的理论。为了解一个程序是否正确地实现了预定的目标,通常是规定一些初始
搜索到与“ 程序验证”相关的文献共 0条
《海峡法学》
《计算力学学报》
《热科学与技术》
《思想理论教育(上半月综合版)》
《思想理论教育》
《中国法学前沿》
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
京ICP备2021021570号-13
京公网安备 11011102000866号