| [pluralsight-training.net] Provable Code/1. Predicate Calculus/1. Introduction.wmv |
3.9 MB |
| [pluralsight-training.net] Provable Code/1. Predicate Calculus/2. Predicates and First Order Logic.wmv |
7.2 MB |
| [pluralsight-training.net] Provable Code/1. Predicate Calculus/3. Inference.wmv |
16.9 MB |
| [pluralsight-training.net] Provable Code/1. Predicate Calculus/4. Induction.wmv |
11.1 MB |
| [pluralsight-training.net] Provable Code/1. Predicate Calculus/5. Axioms.wmv |
9.2 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/1. Introduction.wmv |
1.8 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/10. Inference.wmv |
24 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/11. Summary.wmv |
1.3 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/2. Cache and Query.wmv |
12.2 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/3. Preconditions.wmv |
6.2 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/4. Eliminating Preconditions.wmv |
12.3 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/5. Postconditions and Invariants.wmv |
12.3 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/6. Strict Preconditions.wmv |
18.2 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/7. Strength.wmv |
15.3 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/8. Inheritance.wmv |
13 MB |
| [pluralsight-training.net] Provable Code/2. Design by Contract/9. Correctness.wmv |
6 MB |
| [pluralsight-training.net] Provable Code/3. Code Contracts/1. Introduction.wmv |
2 MB |
| [pluralsight-training.net] Provable Code/3. Code Contracts/2. Example - Linked List.wmv |
17.3 MB |
| [pluralsight-training.net] Provable Code/3. Code Contracts/3. Satisfying Preconditions.wmv |
21.4 MB |
| [pluralsight-training.net] Provable Code/3. Code Contracts/4. Invariants.wmv |
14.2 MB |
| [pluralsight-training.net] Provable Code/3. Code Contracts/5. Help When Code Contracts Fails.wmv |
15.1 MB |
| [pluralsight-training.net] Provable Code/3. Code Contracts/6. Inheritance.wmv |
40.7 MB |
| [pluralsight-training.net] Provable Code/3. Code Contracts/7. Conclusion.wmv |
6.6 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/1. Introduction.wmv |
5.3 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/10. Example - Combining Patterns.wmv |
5.7 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/11. Socket API Improvement.wmv |
49.3 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/12. Conclusion.wmv |
8 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/2. Parameter Pattern.wmv |
875 KB |
| [pluralsight-training.net] Provable Code/4. Patterns/3. Example - Parameter Pattern.wmv |
4 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/4. Callback Pattern.wmv |
1 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/5. Example - Callback Pattern.wmv |
11.9 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/6. Factory Methods.wmv |
3.6 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/7. Example - Factory Methods.wmv |
8.5 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/8. Constructor Pattern.wmv |
1.4 MB |
| [pluralsight-training.net] Provable Code/4. Patterns/9. Example - Constructor.wmv |
7 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/1. Introduction.wmv |
1.8 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/10. Summary.wmv |
3.7 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/2. Etch.wmv |
3.1 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/3. Definitions.wmv |
5.6 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/4. Example - Ledger.wmv |
9.3 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/5. Proving Degrees of Freedom.wmv |
29.1 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/6. Message Bus.wmv |
10.8 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/7. Example - Message Bus.wmv |
12.2 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/8. Dependency Tracking.wmv |
8.2 MB |
| [pluralsight-training.net] Provable Code/5. Degrees of Freedom/9. Example - Dependency Tracking.wmv |
27.4 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/1. Introduction.wmv |
2 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/10. Conclusion.wmv |
6.8 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/2. Assignment Statements.wmv |
16.9 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/3. Constructors (revisited).wmv |
4.8 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/4. Class Responsibilities.wmv |
11.2 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/5. Categories of State and Classes.wmv |
11.1 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/6. Example - Categories.wmv |
18.7 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/7. Dependency Chains.wmv |
3.8 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/8. Example - Dependency Chain.wmv |
28.3 MB |
| [pluralsight-training.net] Provable Code/6. Immutability/9. Example - Mutable Dependency Chain.wmv |
11.9 MB |
Magnet link
