- 授权协议: MIT
- 开发语言: C#
- 操作系统: 跨平台
- 软件首页: https://github.com/Microsoft/CodeContracts
软件介绍
CodeContracts 是用于 .Net 程序中的开源工具。它可以作为你内部或者外部 API 的检查文档，并且可以通过实时监测、静态合同验证和文档生成来改善测试。CodeContracts 将基于合同设计（design-by-contract）的编程方式的优点全部带给了 .Net 编程语言。
Probability and Computing: Randomization and Probabilistic Techn
Michael Mitzenmacher、Eli Upfal / Cambridge University Press / 2017-7-3 / USD 62.23
Greatly expanded, this new edition requires only an elementary background in discrete mathematics and offers a comprehensive introduction to the role of randomization and probabilistic techniques in m......一起来看看 《Probability and Computing: Randomization and Probabilistic Techn》 这本书的介绍吧!
