Difference between revisions of "Activity:0716"
Jump to navigation
Jump to search
| 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]] | |||