Миронов А.М. - Формальная семантика и верификация ПО - 9. Теория процессов. Понятие процесса
Teach-In
Теория процессов. Понятие процесса. Операции над процессами. Эквивалентность процессов Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #верификацияпо
1:29:17
