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

00:00:19 Введение 00:07:38 Метод Флойда. Вычисление квадрата натурального числа 00:44:01 Вычисление целой части корня неотрицательного числа 01:17:56 Возведение числа в степень Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #миронов #формальнаясемантикапо #верификацияпо