下载_文档下载年月日 [原创] 年月日[教材] 谢春光(桂林电子工业学院计算机系桂林 )METHODOLOGY COMPUTERSCIENCE TECHNOLOGYD 评分: 是作者多年来对计算学科方法论研究成果的总结。
作者根据《计算作为一门学科》报告对整个计算学科综述 学习资料页 专题讲座,软件开发的形式化方法,,计算机科学与技术方法论,形式化方法的基本原理是什么,如何将形式化集成到软件开发过程,背景知 学习资料页 扫描版 扫描版 PDF 上传日期: 学习资料 著人民邮电内容提要本书是作者多年来对计算学科方法论研究成果的总结作者根据计算作为一门学科报告对整个计算学科综述 。