当前位置:首页 > TAG信息列表 > 软件
软件
-
软件开发的形式化方法
古天龙著2005 年出版265 页ISBN:704016079X形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。本书对软件开发中的形...
-
Fireworks MX 2004中文版精彩案例教程 软件篇
胡崧编著2005 年出版251 页ISBN:7121015919名师大课堂:本书分15课,从最基本的图形绘制到制作完整的网页效果图、制作GIF动画、导出完整页面,基本上涵盖了FireworksMX2004中所有需要了解和掌握的功能与操作。...