General introduction

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

Рецензии

4.6 (оценок: 16)

  • 5 stars
    68,75 %
  • 4 stars
    18,75 %
  • 3 stars
    12,50 %

Из урока

CTL model checking

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

  • Placeholder

    Hans Zantema

    prof.dr.

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

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