MATE 4178 Model Checking Probabilístico

Créditos

4

Periodo en el que se ofrece el curso

201718

Idioma en el que se ofrece el curso

Español