Books on Code Contracts in C# 4.0 [closed]

Answer 1

Jon Skeet has an entire chapter dedicated to them in the 2nd edition of C# in Depth. It's roughly 40 pages based on the last MEAP update. This isn't final since, as Joel mentioned, it's not out yet, but you could buy it and get access to the MEAP releases: http://www.manning.com/skeet2/

C# 4.0 in a Nutshell covers it in Ch. 13, "Diagnostics and Code Contracts." Based on the chapter headings in the table of contents I estimate ~17 pages on the topic.

I imagine Andrew Troelsen's Pro C# 2010 and the .NET 4 Platform book will cover it, but I wasn't able to find a TOC for it.

Answer 2

I've heard Jon Skeet's covering them in the next C# in Depth, but it's not out yet.

Answer 3

Though not really a book, the official documentation downloadable with the Code Contracts software is pretty good.

For specific questions, you can use the official Code Contracts forum. The developers seem to be pretty responsive.

By the way: My understanding is that Code Contracts are not part of C# 4.0. Rather, they are part of the .NET 4.0 BCL and available as a separate assembly for .NET 3.5. Both .NET 4.0 and 3.5 requiere you to install additional software to use the contracts.