System Validation
Automata and behavioural equivalences

share ›
‹ links

Below are the top discussions from Reddit that mention this online Coursera course from EIT Digital .

Offered by EIT Digital . Have you ever experienced software systems failing? Websites crash, calendar not synchronising, or even a power ... Enroll for free.

Reddsera may receive an affiliate commission if you enroll in a paid course after using these buttons to visit Coursera. Thank you for using these buttons to support Reddsera.

Taught by
Jan Friso Groote
Full professor
and 11 more instructors

Offered by
EIT Digital

Reddit Posts and Comments

0 posts • 1 mentions • top 1 shown below

r/compsci • comment
1 points • drBearhands

Not sure how good these are, but I just finished System Validation: Automata and behavioural equivalences on Coursera, with it's follow-ups as well as Programming Languages, Part A (which is rated pretty highly) still on the menu. The certificates seem nice to have.

Go to Reddit comment