可信软件与开发方法

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化...

软件工程课程设计教程

本书主要针对软件开发的全过程，通过完整的项目体现各个环节应完成的各项工作。本书主要包括三部分内容：第一部分论述软件工程的基本内涵，介绍软件开发的结构化生命周期和面向对象法的理论知识；第二部分详细描述...

战神 软件项目管理深度实战

软件项目管理，包含了IT技术知识的专业内容。本书从IT技术从业人员的角度出发，介绍了 Flexbox 布局，教大家从零开始搭建一个初始应用，以此阐明 React Native 的基础运行机理；然后介绍了Flux 的设计思想，怎么理解和...

抗日战争时期陕甘宁边区财政经济史料摘编 第9编 人民生活

抗日战争时期陕甘宁边区财政经济史料摘编 第3编 工业交通

抗日战争时期陕甘宁边区财政经济史料摘编 第7编 互助合作

高等数学实验 第2版 学软件 做数学

本教材的编写思路是：1）让学生对功能强大的数学软件Mathematica或Matlab有一个初步的了解，除了学会用软件解决高等数学课程教学中涉及到的所有计算问题，也为将来学习其他的科学计算和应用软件打下基础。2）尽量多...

视窗软件设计和开发自动化 可视化D++语言

本书为读者介绍了可视化D++语言如何实现视窗软件的设计和制作，读者在教学软件“可视化D++语言”的提示下，只需花数十分钟时间在键盘上输入几十个用于说明用途的中文词或者拼音字母，通过鼠标点选若干个用于说明...

流行病学数据分析与易侕统计软件实现 易侕数据分析师考级初级教程

书法编 明 故宫博物院藏品大系 10

本套书是故宫出版社的品牌图书，本卷为明代首册，大八开，精装本，具有很高的鉴赏、收藏及出版价值。整个明代书法，以行楷居多，楷书纤巧秀丽，也出现了一些有造诣的大家，如文徵明、祝允明、董其昌等，但因世所多见......