[] Code Contracts
- 收录时间:2018-02-27 19:28:00
- 文件大小:397MB
- 下载次数:113
- 最近下载:2021-01-02 02:31:34
- 磁力链接:
-
文件列表
- 2. Basic Usage/3. Basic Preconditions.wmv 37MB
- 4. Advanced/9. Static Checking Options.wmv 29MB
- 2. Basic Usage/8. Postconditions for Exceptions and Original Values.wmv 29MB
- 3. Digging Deeper/3. Using Object Invariants.wmv 22MB
- 4. Advanced/5. Abbreviators.wmv 21MB
- 3. Digging Deeper/4. Automatic Properties.wmv 21MB
- 3. Digging Deeper/6. ForAll.wmv 21MB
- 2. Basic Usage/6. Postconditions.wmv 20MB
- 4. Advanced/3. Inheritance Example.wmv 17MB
- 2. Basic Usage/4. Preconditions with Exceptions.wmv 17MB
- 3. Digging Deeper/7. Exists.wmv 17MB
- 3. Digging Deeper/5. Assert and Assume.wmv 16MB
- 4. Advanced/8. Exploring Static Checking.wmv 16MB
- 2. Basic Usage/5. Legacy Preconditions.wmv 14MB
- 2. Basic Usage/9. Checking Results.wmv 13MB
- 1. Code Contracts Overview/5. Installing and Configuring.wmv 13MB
- 4. Advanced/4. Interfaces.wmv 12MB
- 4. Advanced/7. Turning on Static Checking.wmv 10MB
- 1. Code Contracts Overview/4. How Code Contracts Work.wmv 8MB
- 1. Code Contracts Overview/2. What are Code Contracts.wmv 7MB
- 4. Advanced/6. Static Checking Warning.wmv 7MB
- 4. Advanced/2. Inheritance Overview.wmv 6MB
- 3. Digging Deeper/8. Summary.wmv 4MB
- 1. Code Contracts Overview/3. Why Code Contracts.wmv 4MB
- 2. Basic Usage/10. Summary.wmv 3MB
- 4. Advanced/10. Summary.wmv 3MB
- 2. Basic Usage/2. Preconditions.wmv 3MB
- 3. Digging Deeper/2. Object Invariants.wmv 2MB
- 4. Advanced/1. Introduction.wmv 2MB
- 3. Digging Deeper/1. Introduction.wmv 1MB
- 2. Basic Usage/7. Basic Postconditions.wmv 1MB
- 2. Basic Usage/1. Introduction.wmv 980KB
- 1. Code Contracts Overview/1. Introduction.wmv 956KB
- 1. Code Contracts Overview/6. Summary.wmv 709KB