B方法

B方法技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

B方法 热门资料

查看全部 500 份 →

B树算法实现，非常难得！btree implementation for random lookups, transaction handling, sequential access methods, and a small embedd...

2014-01-10 26 B方法

B 方法是形式化方法之一，支持软件开发的全部过程，它通过严格的数学推导和证明来保证软件设计和代码的正确性。在现有的基本方法的基础上，要想进一步提高系统的可靠性，需要在软件开发中引入容错机制，使

2024-05-01 6 B方法