[pluralsight-training.net] Provable Code
621.41 MB
Total Size
55
Files
June
Created
1
Seeders
0
Leechers
Basic Info
Hash: 10768c4e2184d24508523714ce1321a87058ed73
File Status: Multi-file
Type: Public
File List (55 Files)
1. Predicate Calculus/1. Introduction.wmv
#1•
WMV
3.92 MB
1. Predicate Calculus/2. Predicates and First Order Logic.wmv
#2•
WMV
7.18 MB
1. Predicate Calculus/3. Inference.wmv
#3•
WMV
16.87 MB
1. Predicate Calculus/4. Induction.wmv
#4•
WMV
11.12 MB
1. Predicate Calculus/5. Axioms.wmv
#5•
WMV
9.2 MB
2. Design by Contract/1. Introduction.wmv
#6•
WMV
1.84 MB
2. Design by Contract/10. Inference.wmv
#7•
WMV
23.99 MB
2. Design by Contract/11. Summary.wmv
#8•
WMV
1.32 MB
2. Design by Contract/2. Cache and Query.wmv
#9•
WMV
12.24 MB
2. Design by Contract/3. Preconditions.wmv
#10•
WMV
6.22 MB