2017年5月17日
软件形式化方法概述
摘要： 转自：http://blog.csdn.net/lovelion/article/details/8635369 友情提示：本文理论性和专业性较强，如果木有接触过该领域，读起来可能会有一点点吃力，！本文是Sunny结合多份资料综合整理而成，有点凌乱，见谅！ 软件形式化方法(Formal Method 阅读全文
posted @ 2017-05-17 00:07 明明是悟空 阅读(11767) 评论(0) 推荐(0) 编辑