General introduction

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

Рецензии

4.7 (оценок: 20)

  • 5 stars
    75 %
  • 4 stars
    15 %
  • 3 stars
    10 %

Из урока

CTL model checking

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

  • Placeholder

    Hans Zantema

    prof.dr.

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

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