Difference between revisions of "Activity:0716"
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
* [[Study Formal methods for system specification]] | * [[Study Formal methods for system specification]] | ||
* [[Study Lambda Calculus]] | * [[Study Lambda Calculus]] | ||
{{#ask: [[Activity::+]] | {{#ask: [[Activity::+]] | ||