C＃4.0中关于代码合同的书籍

尽管我已经知道Code Contracts已经有一段时间了，因为我在Java中使用过它，我想在C＃中开始使用它们，因为它们是C＃4.0的一部分。

我正在寻找学习材料，书籍或video。也欢迎使用Altough教程，我想要全面阅读，而不是典型的“这里是你如何使用需求，这里是你如何使用Ensures”。我正在寻找在这个领域非常突出的东西。

谢谢

Jon Skeet在第二版C＃深度中有一整章专门介绍它们。根据上一次MEAP更新，大约有40页。这不是最终的，因为正如乔尔所说，它还没有出来，但你可以买它并获得MEAP版本的访问权限： http ： //www.manning.com/skeet2/

坚果壳中的C＃4.0涵盖了Ch。 13，“诊断和代码合同”。根据目录中的章节标题，我估计约有17页的主题。

我想安德鲁·特洛尔森的Pro C＃2010和.NET 4平台书将涵盖它，但我无法找到它的TOC。

我听说Jon Skeet在下一个C＃深度覆盖它们，但它还没有出来。

虽然不是真正的书，但可以通过Code Contracts软件下载的官方文档相当不错。

有关具体问题，您可以使用官方代码合同论坛。开发人员似乎非常敏感。

顺便说一下：我的理解是代码契约不是C＃4.0的一部分。相反，它们是.NET 4.0 BCL的一部分，可作为.NET 3.5的单独程序集提供。 .NET 4.0和3.5都要求您安装其他软件以使用合同。