当前位置:首页 > 名称
大约有6,000项符合查询结果项。(搜索耗时:0.0164秒)
为您推荐: 绘画形式语言与创新研究 基于形式概念分析的folksonomy知识发现研究 中国语言文学研究 现代语言学研究 理论 方法 20世纪中国语言学方法论研究 文体学视阈下的格特鲁德 斯泰因语言艺术研究
-
-
软件开发的形式化方法 【工业技术】
古天龙著2005 年出版265 页ISBN:704016079X形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。本书对软件开发中的形...
-
-
-
-
-
-
-
-
学科分类
