General introduction

video-placeholder
Loading...
Просмотреть программу курса

Рецензии

4.7 (оценок: 22)

  • 5 stars
    77,27 %
  • 4 stars
    13,63 %
  • 3 stars
    9,09 %

Из урока

CTL model checking

Преподаватели

  • Placeholder

    Hans Zantema

    prof.dr.

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.