File List
-
04.Patterns/11.Socket API Improvement.wmv 49.28 MB
03.Code Contracts/06.Inheritance.wmv 40.73 MB
05.Degrees of Freedom/05.Proving Degrees of Freedom.wmv 29.12 MB
06.Immutability/08.Example - Dependency Chain.wmv 28.29 MB
05.Degrees of Freedom/09.Example - Dependency Tracking.wmv 27.42 MB
02.Design by Contract/10.Inference.wmv 23.99 MB
03.Code Contracts/03.Satisfying Preconditions.wmv 21.38 MB
06.Immutability/06.Example - Categories.wmv 18.72 MB
02.Design by Contract/06.Strict Preconditions.wmv 18.15 MB
03.Code Contracts/02.Example - Linked List.wmv 17.26 MB
01.Predicate Calculus/03.Inference.wmv 16.87 MB
06.Immutability/02.Assignment Statements.wmv 16.86 MB
02.Design by Contract/07.Strength.wmv 15.28 MB
03.Code Contracts/05.Help When Code Contracts Fails.wmv 15.14 MB
03.Code Contracts/04.Invariants.wmv 14.23 MB
02.Design by Contract/08.Inheritance.wmv 13 MB
02.Design by Contract/05.Postconditions and Invariants.wmv 12.34 MB
02.Design by Contract/04.Eliminating Preconditions.wmv 12.27 MB
02.Design by Contract/02.Cache and Query.wmv 12.24 MB
05.Degrees of Freedom/07.Example - Message Bus.wmv 12.2 MB
04.Patterns/05.Example - Callback Pattern.wmv 11.91 MB
06.Immutability/09.Example - Mutable Dependency Chain.wmv 11.9 MB
06.Immutability/04.Class Responsibilities.wmv 11.16 MB
01.Predicate Calculus/04.Induction.wmv 11.12 MB
06.Immutability/05.Categories of State and Classes.wmv 11.06 MB
05.Degrees of Freedom/06.Message Bus.wmv 10.84 MB
05.Degrees of Freedom/04.Example - Ledger.wmv 9.28 MB
01.Predicate Calculus/05.Axioms.wmv 9.2 MB
04.Patterns/07.Example - Factory Methods.wmv 8.49 MB
05.Degrees of Freedom/08.Dependency Tracking.wmv 8.17 MB
04.Patterns/12.Conclusion.wmv 8.01 MB
01.Predicate Calculus/02.Predicates and First Order Logic.wmv 7.18 MB
04.Patterns/09.Example - Constructor.wmv 7.04 MB
06.Immutability/10.Conclusion.wmv 6.83 MB
03.Code Contracts/07.Conclusion.wmv 6.58 MB
02.Design by Contract/03.Preconditions.wmv 6.22 MB
02.Design by Contract/09.Correctness.wmv 6.02 MB
04.Patterns/10.Example - Combining Patterns.wmv 5.69 MB
05.Degrees of Freedom/03.Definitions.wmv 5.61 MB
04.Patterns/01.Introduction.wmv 5.27 MB
06.Immutability/03.Constructors (revisited).wmv 4.84 MB
04.Patterns/03.Example - Parameter Pattern.wmv 3.96 MB
01.Predicate Calculus/01.Introduction.wmv 3.92 MB
06.Immutability/07.Dependency Chains.wmv 3.77 MB
05.Degrees of Freedom/10.Summary.wmv 3.68 MB
04.Patterns/06.Factory Methods.wmv 3.55 MB
05.Degrees of Freedom/02.Etch.wmv 3.1 MB
03.Code Contracts/01.Introduction.wmv 2.03 MB
06.Immutability/01.Introduction.wmv 2 MB
02.Design by Contract/01.Introduction.wmv 1.84 MB
05.Degrees of Freedom/01.Introduction.wmv 1.76 MB
04.Patterns/08.Constructor Pattern.wmv 1.4 MB
02.Design by Contract/11.Summary.wmv 1.32 MB
provable-code.zip 1.13 MB
04.Patterns/04.Callback Pattern.wmv 1.05 MB
04.Patterns/02.Parameter Pattern.wmv 875.19 KB
03.Code Contracts/06.Inheritance.srt 18.79 KB
04.Patterns/11.Socket API Improvement.srt 17.99 KB
05.Degrees of Freedom/05.Proving Degrees of Freedom.srt 14.21 KB
02.Design by Contract/10.Inference.srt 13.34 KB
01.Predicate Calculus/03.Inference.srt 12.81 KB
02.Design by Contract/07.Strength.srt 12.72 KB
06.Immutability/08.Example - Dependency Chain.srt 12.29 KB
06.Immutability/06.Example - Categories.srt 11.74 KB
02.Design by Contract/05.Postconditions and Invariants.srt 11.71 KB
02.Design by Contract/06.Strict Preconditions.srt 10.96 KB
03.Code Contracts/02.Example - Linked List.srt 10.57 KB
06.Immutability/02.Assignment Statements.srt 10.4 KB
03.Code Contracts/03.Satisfying Preconditions.srt 10.13 KB
05.Degrees of Freedom/09.Example - Dependency Tracking.srt 9.82 KB
06.Immutability/05.Categories of State and Classes.srt 9.64 KB
01.Predicate Calculus/04.Induction.srt 9.21 KB
02.Design by Contract/08.Inheritance.srt 8.11 KB
04.Patterns/12.Conclusion.srt 8.09 KB
03.Code Contracts/04.Invariants.srt 7.68 KB
03.Code Contracts/05.Help When Code Contracts Fails.srt 7.33 KB
01.Predicate Calculus/05.Axioms.srt 7.33 KB
05.Degrees of Freedom/08.Dependency Tracking.srt 7.12 KB
06.Immutability/09.Example - Mutable Dependency Chain.srt 7.09 KB
06.Immutability/04.Class Responsibilities.srt 6.9 KB
02.Design by Contract/02.Cache and Query.srt 6.45 KB
02.Design by Contract/03.Preconditions.srt 6.38 KB
05.Degrees of Freedom/06.Message Bus.srt 6.32 KB
06.Immutability/10.Conclusion.srt 6.31 KB
01.Predicate Calculus/02.Predicates and First Order Logic.srt 6.09 KB
02.Design by Contract/04.Eliminating Preconditions.srt 5.96 KB
04.Patterns/05.Example - Callback Pattern.srt 5.73 KB
03.Code Contracts/07.Conclusion.srt 5.69 KB
04.Patterns/01.Introduction.srt 5.53 KB
05.Degrees of Freedom/04.Example - Ledger.srt 5.41 KB
02.Design by Contract/09.Correctness.srt 5.27 KB
05.Degrees of Freedom/07.Example - Message Bus.srt 4.85 KB
05.Degrees of Freedom/03.Definitions.srt 4.67 KB
04.Patterns/09.Example - Constructor.srt 4.35 KB
04.Patterns/07.Example - Factory Methods.srt 4.34 KB
06.Immutability/03.Constructors (revisited).srt 4.22 KB
01.Predicate Calculus/01.Introduction.srt 3.94 KB
04.Patterns/06.Factory Methods.srt 3.53 KB
06.Immutability/07.Dependency Chains.srt 3.34 KB
05.Degrees of Freedom/10.Summary.srt 3.34 KB
04.Patterns/10.Example - Combining Patterns.srt 3.01 KB
05.Degrees of Freedom/02.Etch.srt 2.17 KB
06.Immutability/01.Introduction.srt 2 KB
04.Patterns/03.Example - Parameter Pattern.srt 1.83 KB
05.Degrees of Freedom/01.Introduction.srt 1.83 KB
02.Design by Contract/01.Introduction.srt 1.82 KB
03.Code Contracts/01.Introduction.srt 1.51 KB
04.Patterns/08.Constructor Pattern.srt 1.42 KB
02.Design by Contract/11.Summary.srt 1.23 KB
04.Patterns/04.Callback Pattern.srt 1.03 KB
04.Patterns/02.Parameter Pattern.srt 805 B
Download Info
-
Tips
“Provable Code” Its related downloads are collected from the DHT sharing network, the site will be 24 hours of real-time updates, to ensure that you get the latest resources.This site is not responsible for the authenticity of the resources, please pay attention to screening.If found bad resources, please send a report below the right, we will be the first time shielding.
-
DMCA Notice and Takedown Procedure
If this resource infringes your copyright, please email([email protected]) us or leave your message here ! we will block the download link as soon as possiable.