C++代码分析器 CppCat
- 授权协议: 商业软件
- 开发语言: C/C++
- 操作系统: Windows
- 软件首页: http://www.cppcat.com/
软件介绍
CppCat 是一个雄心勃勃的 C++ 代码分析器，可用于搜索 C/C++ 代码中存在的 bug。CppCat 是以 Visual Studio 2010、2012、2013 的插件形式存在。CppCat 提供免费试用版本。
区块链核心算法解析
【瑞士】Roger Wattenhofer（罗格.瓦唐霍费尔） / 陈晋川、薛云志、林强、祝庆 / 电子工业出版社 / 2017-8 / 59.00
《区块链核心算法解析》介绍了构建容错的分布式系统所需的基础技术，以及一系列允许容错的协议和算法，并且讨论一些实现了这些技术的实际系统。 《区块链核心算法解析》中的主要概念将独立成章。每一章都以一个小故事开始，从而引出该章节的内容。算法、协议和定义都将以形式化的方式描述，以便于读者理解如何实现。部分结论会在定理中予以证明，这样读者就可以明白为什么这些概念或算法是正确的，并且理解它们可以确保实现......一起来看看 《区块链核心算法解析》 这本书的介绍吧!
