589689.xyz

Provable Code

  • 收录时间:2021-11-26 13:08:20
  • 文件大小:623MB
  • 下载次数:1
  • 最近下载:2021-11-26 13:08:19
  • 磁力链接:
立即下载 复制链接

文件列表

  1. 04.Patterns/11.Socket API Improvement.wmv 49MB
  2. 03.Code Contracts/06.Inheritance.wmv 41MB
  3. 05.Degrees of Freedom/05.Proving Degrees of Freedom.wmv 29MB
  4. 06.Immutability/08.Example - Dependency Chain.wmv 28MB
  5. 05.Degrees of Freedom/09.Example - Dependency Tracking.wmv 27MB
  6. 02.Design by Contract/10.Inference.wmv 24MB
  7. 03.Code Contracts/03.Satisfying Preconditions.wmv 21MB
  8. 06.Immutability/06.Example - Categories.wmv 19MB
  9. 02.Design by Contract/06.Strict Preconditions.wmv 18MB
  10. 03.Code Contracts/02.Example - Linked List.wmv 17MB
  11. 01.Predicate Calculus/03.Inference.wmv 17MB
  12. 06.Immutability/02.Assignment Statements.wmv 17MB
  13. 02.Design by Contract/07.Strength.wmv 15MB
  14. 03.Code Contracts/05.Help When Code Contracts Fails.wmv 15MB
  15. 03.Code Contracts/04.Invariants.wmv 14MB
  16. 02.Design by Contract/08.Inheritance.wmv 13MB
  17. 02.Design by Contract/05.Postconditions and Invariants.wmv 12MB
  18. 02.Design by Contract/04.Eliminating Preconditions.wmv 12MB
  19. 02.Design by Contract/02.Cache and Query.wmv 12MB
  20. 05.Degrees of Freedom/07.Example - Message Bus.wmv 12MB
  21. 04.Patterns/05.Example - Callback Pattern.wmv 12MB
  22. 06.Immutability/09.Example - Mutable Dependency Chain.wmv 12MB
  23. 06.Immutability/04.Class Responsibilities.wmv 11MB
  24. 01.Predicate Calculus/04.Induction.wmv 11MB
  25. 06.Immutability/05.Categories of State and Classes.wmv 11MB
  26. 05.Degrees of Freedom/06.Message Bus.wmv 11MB
  27. 05.Degrees of Freedom/04.Example - Ledger.wmv 9MB
  28. 01.Predicate Calculus/05.Axioms.wmv 9MB
  29. 04.Patterns/07.Example - Factory Methods.wmv 8MB
  30. 05.Degrees of Freedom/08.Dependency Tracking.wmv 8MB
  31. 04.Patterns/12.Conclusion.wmv 8MB
  32. 01.Predicate Calculus/02.Predicates and First Order Logic.wmv 7MB
  33. 04.Patterns/09.Example - Constructor.wmv 7MB
  34. 06.Immutability/10.Conclusion.wmv 7MB
  35. 03.Code Contracts/07.Conclusion.wmv 7MB
  36. 02.Design by Contract/03.Preconditions.wmv 6MB
  37. 02.Design by Contract/09.Correctness.wmv 6MB
  38. 04.Patterns/10.Example - Combining Patterns.wmv 6MB
  39. 05.Degrees of Freedom/03.Definitions.wmv 6MB
  40. 04.Patterns/01.Introduction.wmv 5MB
  41. 06.Immutability/03.Constructors (revisited).wmv 5MB
  42. 04.Patterns/03.Example - Parameter Pattern.wmv 4MB
  43. 01.Predicate Calculus/01.Introduction.wmv 4MB
  44. 06.Immutability/07.Dependency Chains.wmv 4MB
  45. 05.Degrees of Freedom/10.Summary.wmv 4MB
  46. 04.Patterns/06.Factory Methods.wmv 4MB
  47. 05.Degrees of Freedom/02.Etch.wmv 3MB
  48. 03.Code Contracts/01.Introduction.wmv 2MB
  49. 06.Immutability/01.Introduction.wmv 2MB
  50. 02.Design by Contract/01.Introduction.wmv 2MB
  51. 05.Degrees of Freedom/01.Introduction.wmv 2MB
  52. 04.Patterns/08.Constructor Pattern.wmv 1MB
  53. 02.Design by Contract/11.Summary.wmv 1MB
  54. provable-code.zip 1MB
  55. 04.Patterns/04.Callback Pattern.wmv 1MB
  56. 04.Patterns/02.Parameter Pattern.wmv 875KB
  57. 03.Code Contracts/06.Inheritance.srt 19KB
  58. 04.Patterns/11.Socket API Improvement.srt 18KB
  59. 05.Degrees of Freedom/05.Proving Degrees of Freedom.srt 14KB
  60. 02.Design by Contract/10.Inference.srt 13KB
  61. 01.Predicate Calculus/03.Inference.srt 13KB
  62. 02.Design by Contract/07.Strength.srt 13KB
  63. 06.Immutability/08.Example - Dependency Chain.srt 12KB
  64. 06.Immutability/06.Example - Categories.srt 12KB
  65. 02.Design by Contract/05.Postconditions and Invariants.srt 12KB
  66. 02.Design by Contract/06.Strict Preconditions.srt 11KB
  67. 03.Code Contracts/02.Example - Linked List.srt 11KB
  68. 06.Immutability/02.Assignment Statements.srt 10KB
  69. 03.Code Contracts/03.Satisfying Preconditions.srt 10KB
  70. 05.Degrees of Freedom/09.Example - Dependency Tracking.srt 10KB
  71. 06.Immutability/05.Categories of State and Classes.srt 10KB
  72. 01.Predicate Calculus/04.Induction.srt 9KB
  73. 02.Design by Contract/08.Inheritance.srt 8KB
  74. 04.Patterns/12.Conclusion.srt 8KB
  75. 03.Code Contracts/04.Invariants.srt 8KB
  76. 03.Code Contracts/05.Help When Code Contracts Fails.srt 7KB
  77. 01.Predicate Calculus/05.Axioms.srt 7KB
  78. 05.Degrees of Freedom/08.Dependency Tracking.srt 7KB
  79. 06.Immutability/09.Example - Mutable Dependency Chain.srt 7KB
  80. 06.Immutability/04.Class Responsibilities.srt 7KB
  81. 02.Design by Contract/02.Cache and Query.srt 6KB
  82. 02.Design by Contract/03.Preconditions.srt 6KB
  83. 05.Degrees of Freedom/06.Message Bus.srt 6KB
  84. 06.Immutability/10.Conclusion.srt 6KB
  85. 01.Predicate Calculus/02.Predicates and First Order Logic.srt 6KB
  86. 02.Design by Contract/04.Eliminating Preconditions.srt 6KB
  87. 04.Patterns/05.Example - Callback Pattern.srt 6KB
  88. 03.Code Contracts/07.Conclusion.srt 6KB
  89. 04.Patterns/01.Introduction.srt 6KB
  90. 05.Degrees of Freedom/04.Example - Ledger.srt 5KB
  91. 02.Design by Contract/09.Correctness.srt 5KB
  92. 05.Degrees of Freedom/07.Example - Message Bus.srt 5KB
  93. 05.Degrees of Freedom/03.Definitions.srt 5KB
  94. 04.Patterns/09.Example - Constructor.srt 4KB
  95. 04.Patterns/07.Example - Factory Methods.srt 4KB
  96. 06.Immutability/03.Constructors (revisited).srt 4KB
  97. 01.Predicate Calculus/01.Introduction.srt 4KB
  98. 04.Patterns/06.Factory Methods.srt 4KB
  99. 06.Immutability/07.Dependency Chains.srt 3KB
  100. 05.Degrees of Freedom/10.Summary.srt 3KB
  101. 04.Patterns/10.Example - Combining Patterns.srt 3KB
  102. 05.Degrees of Freedom/02.Etch.srt 2KB
  103. 06.Immutability/01.Introduction.srt 2KB
  104. 04.Patterns/03.Example - Parameter Pattern.srt 2KB
  105. 05.Degrees of Freedom/01.Introduction.srt 2KB
  106. 02.Design by Contract/01.Introduction.srt 2KB
  107. 03.Code Contracts/01.Introduction.srt 2KB
  108. 04.Patterns/08.Constructor Pattern.srt 1KB
  109. 02.Design by Contract/11.Summary.srt 1KB
  110. 04.Patterns/04.Callback Pattern.srt 1KB
  111. 04.Patterns/02.Parameter Pattern.srt 805B