Миронов А.М. - Формальная семантика и верификация ПО - 1. Верификация программ. Метод Флойда

Аватар автора
Teach-In
Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист:

0/0


0/0

0/0

0/0

0/0