Лекция 2. Верификация программ (продолжение). Сортировка пузырьком
Лекция из курса:
Лекция 2. Верификация программ (продолжение). Сортировка пузырьком
Предыдущая лекция

1
Лекция 1. Верификация программ. Метод Флойда
01:31:45
Следующая лекция

3
Лекция 3. Функциональные программы
01:15:12