Difference between revisions of "Activity:0716"
Jump to navigation
Jump to search
(4 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{Activity | {{Activity | ||
|Date=2021,07,16 | |Date=2021,07,16 | ||
|Person= | |Person=@KevinTung | ||
}} | }} | ||
Line 7: | Line 7: | ||
* [[Study Formal methods for system specification]] | * [[Study Formal methods for system specification]] | ||
* [[Study Lambda Calculus]] | * [[Study Lambda Calculus]] | ||
[[Category:Daily Document]] |