Миронов А.М. - Формальная семантика и верификация ПО - 2. Верификация программ (продолжение)
TIP! Right-click and select "Save link as..." to download.
Верификация программ (продолжение). Сортировка пузырьком
Курс: Формальная семантика и верификация программного обеспечения
Ссылка на плейлист:
https://www.youtube.com/playlist?list=PLcsjsqLLSfNCzu0a1xnmDpX4cCO-KpkIc