Download Provable Code [2012, ENG] Torrent

Provable Code [2012, ENG]

01.Predicate Calculus

01.Introduction.srt	SRT	3.94 KB
01.Introduction.wmv	WMV	3.92 MB
02.Predicates and First Order Logic.srt	SRT	6.09 KB
02.Predicates and First Order Logic.wmv	WMV	7.18 MB
03.Inference.srt	SRT	12.81 KB
03.Inference.wmv	WMV	16.87 MB
04.Induction.srt	SRT	9.21 KB
04.Induction.wmv	WMV	11.12 MB
05.Axioms.srt	SRT	7.33 KB
05.Axioms.wmv	WMV	9.2 MB

02.Design by Contract

01.Introduction.srt	SRT	1.82 KB
01.Introduction.wmv	WMV	1.84 MB
02.Cache and Query.srt	SRT	6.45 KB
02.Cache and Query.wmv	WMV	12.24 MB
03.Preconditions.srt	SRT	6.38 KB
03.Preconditions.wmv	WMV	6.22 MB
04.Eliminating Preconditions.srt	SRT	5.96 KB
04.Eliminating Preconditions.wmv	WMV	12.27 MB
05.Postconditions and Invariants.srt	SRT	11.71 KB
05.Postconditions and Invariants.wmv	WMV	12.34 MB
06.Strict Preconditions.srt	SRT	10.96 KB
06.Strict Preconditions.wmv	WMV	18.15 MB
07.Strength.srt	SRT	12.72 KB
07.Strength.wmv	WMV	15.28 MB
08.Inheritance.srt	SRT	8.11 KB
08.Inheritance.wmv	WMV	13 MB
09.Correctness.srt	SRT	5.27 KB
09.Correctness.wmv	WMV	6.02 MB
10.Inference.srt	SRT	13.34 KB
10.Inference.wmv	WMV	23.99 MB
11.Summary.srt	SRT	1.23 KB
11.Summary.wmv	WMV	1.32 MB

03.Code Contracts

01.Introduction.srt	SRT	1.51 KB
01.Introduction.wmv	WMV	2.03 MB
02.Example - Linked List.srt	SRT	10.57 KB
02.Example - Linked List.wmv	WMV	17.26 MB
03.Satisfying Preconditions.srt	SRT	10.13 KB
03.Satisfying Preconditions.wmv	WMV	21.38 MB
04.Invariants.srt	SRT	7.68 KB
04.Invariants.wmv	WMV	14.23 MB
05.Help When Code Contracts Fails.srt	SRT	7.33 KB
05.Help When Code Contracts Fails.wmv	WMV	15.14 MB
06.Inheritance.srt	SRT	18.79 KB
06.Inheritance.wmv	WMV	40.73 MB
07.Conclusion.srt	SRT	5.69 KB
07.Conclusion.wmv	WMV	6.58 MB

04.Patterns

01.Introduction.srt	SRT	5.53 KB
01.Introduction.wmv	WMV	5.27 MB
02.Parameter Pattern.srt	SRT	805 B
02.Parameter Pattern.wmv	WMV	875.19 KB
03.Example - Parameter Pattern.srt	SRT	1.83 KB
03.Example - Parameter Pattern.wmv	WMV	3.96 MB
04.Callback Pattern.srt	SRT	1.03 KB
04.Callback Pattern.wmv	WMV	1.05 MB
05.Example - Callback Pattern.srt	SRT	5.73 KB
05.Example - Callback Pattern.wmv	WMV	11.91 MB
06.Factory Methods.srt	SRT	3.53 KB
06.Factory Methods.wmv	WMV	3.55 MB
07.Example - Factory Methods.srt	SRT	4.34 KB
07.Example - Factory Methods.wmv	WMV	8.49 MB
08.Constructor Pattern.srt	SRT	1.42 KB
08.Constructor Pattern.wmv	WMV	1.4 MB
09.Example - Constructor.srt	SRT	4.35 KB
09.Example - Constructor.wmv	WMV	7.04 MB
10.Example - Combining Patterns.srt	SRT	3.01 KB
10.Example - Combining Patterns.wmv	WMV	5.69 MB
11.Socket API Improvement.srt	SRT	17.99 KB
11.Socket API Improvement.wmv	WMV	49.28 MB
12.Conclusion.srt	SRT	8.09 KB
12.Conclusion.wmv	WMV	8.01 MB

05.Degrees of Freedom

01.Introduction.srt	SRT	1.83 KB
01.Introduction.wmv	WMV	1.76 MB
02.Etch.srt	SRT	2.17 KB
02.Etch.wmv	WMV	3.1 MB
03.Definitions.srt	SRT	4.67 KB
03.Definitions.wmv	WMV	5.61 MB
04.Example - Ledger.srt	SRT	5.41 KB
04.Example - Ledger.wmv	WMV	9.28 MB
05.Proving Degrees of Freedom.srt	SRT	14.21 KB
05.Proving Degrees of Freedom.wmv	WMV	29.12 MB
06.Message Bus.srt	SRT	6.32 KB
06.Message Bus.wmv	WMV	10.84 MB
07.Example - Message Bus.srt	SRT	4.85 KB
07.Example - Message Bus.wmv	WMV	12.2 MB
08.Dependency Tracking.srt	SRT	7.12 KB
08.Dependency Tracking.wmv	WMV	8.17 MB
09.Example - Dependency Tracking.srt	SRT	9.82 KB
09.Example - Dependency Tracking.wmv	WMV	27.42 MB
10.Summary.srt	SRT	3.34 KB
10.Summary.wmv	WMV	3.68 MB

06.Immutability

01.Introduction.srt	SRT	2 KB
01.Introduction.wmv	WMV	2 MB
02.Assignment Statements.srt	SRT	10.4 KB
02.Assignment Statements.wmv	WMV	16.86 MB
03.Constructors (revisited).srt	SRT	4.22 KB
03.Constructors (revisited).wmv	WMV	4.84 MB
04.Class Responsibilities.srt	SRT	6.9 KB
04.Class Responsibilities.wmv	WMV	11.16 MB
05.Categories of State and Classes.srt	SRT	9.64 KB
05.Categories of State and Classes.wmv	WMV	11.06 MB
06.Example - Categories.srt	SRT	11.74 KB
06.Example - Categories.wmv	WMV	18.72 MB
07.Dependency Chains.srt	SRT	3.34 KB
07.Dependency Chains.wmv	WMV	3.77 MB
08.Example - Dependency Chain.srt	SRT	12.29 KB
08.Example - Dependency Chain.wmv	WMV	28.29 MB
09.Example - Mutable Dependency Chain.srt	SRT	7.09 KB
09.Example - Mutable Dependency Chain.wmv	WMV	11.9 MB
10.Conclusion.srt	SRT	6.31 KB
10.Conclusion.wmv	WMV	6.83 MB

provable-code.zip

ZIP

1.13 MB

Provable Code [2012, ENG]

Tracker name
http://bt4.t-ru.org/ann?magnet
http://bt1.t-ru.org/ann
http://bt2.t-ru.org/ann
http://bt4.t-ru.org/ann
udp://tracker.opentrackr.org:1337
udp://open.stealth.si:80/announce
udp://tracker.torrent.eu.org:451/announce
udp://exodus.desync.com:6969
udp://open.demonii.com:1337/announce
udp://tracker.coppersurfer.tk:6969
udp://p4p.arenabg.com:1337
udp://tracker.internetwarriors.net:1337