Pluralsight training net Provable Code | 22E721D57D4A0683EFED3DE421255D193DB736D0

Pluralsight training net Provable Code

Name	[pluralsight-training.net] Provable Code	DOWNLOAD Copy Link
Total Size	530.5 MB
Total Files	45
Hash	22E721D57D4A0683EFED3DE421255D193DB736D0

/1. Predicate Calculus/
1. Introduction.wmv	4.1 MB
2. Predicates and First Order Logic.wmv	7.5 MB
3. Inference.wmv	17.7 MB
4. Induction.wmv	11.7 MB
5. Axioms.wmv	9.6 MB
/2. Design by Contract/
1. Introduction.wmv	1.9 MB
10. Inference.wmv	25.2 MB
11. Summary.wmv	1.4 MB
2. Cache and Query.wmv	12.8 MB
3. Preconditions.wmv	6.5 MB
4. Eliminating Preconditions.wmv	12.9 MB
5. Postconditions and Invariants.wmv	12.9 MB
6. Strict Preconditions.wmv	19.0 MB
7. Strength.wmv	16.0 MB
8. Inheritance.wmv	13.6 MB
9. Correctness.wmv	6.3 MB
/3. Code Contracts/
1. Introduction.wmv	2.1 MB
2. Example - Linked List.wmv	18.1 MB
3. Satisfying Preconditions.wmv	22.4 MB
4. Invariants.wmv	14.9 MB
5. Help When Code Contracts.wmv	15.9 MB
6. Inheritance.wmv	42.7 MB
7. Conclusion.wmv	6.9 MB
/4. Patterns/
1. Introduction.wmv	5.5 MB
10. Example - Combining Patterns.wmv	6.0 MB
11. Socket API Improvement.wmv	51.7 MB
12. Conclusion.wmv	8.4 MB
2. Parameter Pattern.wmv	896.2 KB
3. Example - Parameter Pattern.wmv	4.2 MB
4. Callback Pattern.wmv	1.1 MB
5. Example - Callback Pattern.wmv	12.5 MB
6. Factory Methods.wmv	3.7 MB
7. Example - Factory Methods.wmv	8.9 MB
8. Constructor Pattern.wmv	1.5 MB
9. Example - Constructor.wmv	7.4 MB
/5. Degrees of Freedom/
1. Introduction.wmv	1.8 MB
10. Summary.wmv	3.9 MB
2. Etch.wmv	3.3 MB
3. Definitions.wmv	5.9 MB
4. Example - Ledger.wmv	9.7 MB
5. Proving Degrees of Freedom.wmv	30.5 MB
6. Message Bus.wmv	11.4 MB
7. Example - Message Bus.wmv	12.8 MB
8. Dependency Tracking.wmv	8.6 MB
9. Example - Dependency Tracking.wmv	28.8 MB
Total files 45