TFTDS 9. Model checking
Лекция от 09.11.2019 Лектор: Роман Липовский Снимал: Дмитрий Гусев Монтировала: Татьяна Миллер
Название:
TFTDS 9. Model checking
Категория:
РазноеЛекция от 09.11.2019 Лектор: Роман Липовский Снимал: Дмитрий Гусев Монтировала: Татьяна Миллер
Название:
TFTDS 9. Model checking
Категория:
Разное