本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序...
2018.11
本书为嵌入式软件工程方法与实践丛书之一，主要讲解程序设计与数据结构，内容包括：程序设计基础、程序设计...
2018.11
本门课程分为四个部分：一是计算机概述部分，讲解计算机系统的组成及底层二进制的工作过程及进制之间的相互...
2018.
本书从以比特币为代表的数字货币的历史与现状开始，讲解区块链的概念、生态、底层技术与架构；之后介绍了Hy...
2018.10
本书使用通俗易懂的语言，从技术开发的角度详细介绍了区块链交易系统应有的功能架构及工作原理，以及详细的...
2018.10
本书主要内容包括计算机信息技术、VC++程序设计基本概述、数据类型与表达式、流程控制语句、数组、函数、结...
2018.7
本产品与学生用书配套使用，包括教学目标、教学重难点、教学过程、案例分享等栏目，对教学全过程进行讲解分...
2018.7
本书以MIT Scratch为设计工具，讲解创建交互式的故事、游戏、音乐及艺术等专题的方法，训练读者的程序设计...
2018.6
这本书收集了约60道算法和程序设计题目。作者试图从书中各种有趣的问题出发，引导读者发现问题，分析问题，...
2018.11
scratch是与开源硬件、智能硬件相关的重要软件应用，面向少年儿童的编程教育，近年在教育、培训领域越发流...
2018.4