Interessieren Dich Online-Kurse?

Edukatico wird Dich ab und zu über Neuigkeiten informieren. (Du kannst das jederzeit wieder beenden.)

Inhalt

The main focus of this online course is on quantitative model checking for Markov chains, for which the course will discuss efficient computational algorithms.

EIT Digital

Dozent: Professor Anne Remke
Bereitgestellt von: Coursera
Kurssprache: Englisch
Kosten: kostenlos
Level: Vorkenntnisse
Zertifikat erhältlich? (Gebühr)
Format: MOOC/Online-Kurs

Wie gefällt Dir der Kurs 'Quantitative Model Checking'?

Weitere Kurse des Fachgebiets Informatik, EDV