软件工程形式化方法与语言

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

常用软件小百科 网络入门软件速查字典

本书分成五章，按照应用层次从低到高的顺序排列。“网络辅助软件”部分主要介绍在网络应用中经常要用到的辅助工具，包括网络搜索软件、网络加速软件以及其他网络辅助软件等内容。“网络通讯软件”部分主要介绍...

高品质软件成功之路 IBM Rational软件交付平台全接触

本书综合设计者和实践者的视角，全方位地展示软件工程领域的问题和解决方案。全书分为基础篇和高级篇两部分。基础篇概括介绍了IBM Rational软件交付平台及Rational统一过程整体架构。并从流程和项目管理、需...

工程设计过程 原著第2版

本书将各学科与工程设计有机融合，详细讲解工程设计的组成、各阶段设计人员应该掌握的方法、技术和手段。主要内容包括：导论、基本通用技能、了解需求和收集信息（市场分析）、客户需求、建立功能结构、设计规格、...

常用工具软件基础与应用

本书通过众多实例全面介绍了当前流行工具软件的功能、用法，以及使用秘籍。

计算机实用工具软件案例教程

计算机软件技术基础

本书内容包括软件开发概述、数据结构及算法、库管理技术等。

电脑办公软件实训教程

本书讲述办公用电脑使用基本知识。

汉字文字编辑软件WORDSTAR使用说明

用Turbo C 开发三维图形软件