Миронов А.М. - Формальная семантика и верификация ПО - 1. Верификация программ. Метод Флойда
00:00:19 Введение
00:07:38 Метод Флойда. Вычисление квадрата натурального числа
00:44:01 Вычисление целой части корня неотрицательного числа
01:17:56 Возведение числа в степень
Курс: Формальная семантика и верификация программного обеспечения
Ссылка на плейлист:
#миронов #формальнаясемантикапо #верификацияпо
22 views
208
37
4 weeks ago 00:00:54 1
Александр Панайотов - шоу “Чувствовать тебя“ (backstage 2)
4 weeks ago 00:01:00 1
Александр Панайотов - шоу “Чувствовать тебя“ (backstage 3)
4 weeks ago 00:02:44 1
Александр Панайотов - шоу “Чувствовать тебя“ - Backstage
4 weeks ago 00:00:58 1
Александр Панайотов - шоу “Чувствовать тебя“ (backstage 1)
4 weeks ago 00:04:56 1
Александр Панайотов и Ксана Сергиенко - Лабиринт (LIVE)
4 weeks ago 00:05:01 1
Александр Панайотов и группа . - Мой рай (LIVE)
4 weeks ago 00:02:32 1
Александр Панайотов - Менi ти приснилась давно (LIVE)
4 weeks ago 00:04:06 1
Александр Панайотов - Нереальная (LIVE)
4 weeks ago 00:03:38 1
Александр Панайотов - All is fair in love (LIVE, cover Stevie Wonder)
4 weeks ago 00:05:19 1
Александр Панайотов - Непобедимый (LIVE)
4 weeks ago 00:04:22 1
Александр Панайотов - Внутривенная (LIVE)
4 weeks ago 00:04:28 1
Александр Панайотов - Раздели пополам (LIVE)
4 weeks ago 00:04:08 1
Александр Панайотов - “Мы близки“ (LIVE)
4 weeks ago 00:01:59 5
Видео от МБОУ ДО ЧВШ ИМ. П.М. МИРОНОВА
4 weeks ago 01:27:43 57
Похищение. Новогодний комедийный фильм-концерт (1969, СССР) Часть 2
4 weeks ago 01:28:31 66
Похищение. Новогодний комедийный фильм-концерт (1969, СССР) Часть 1
4 weeks ago 00:14:12 2
У МЕНЯ БОМБИТ ► Габенушку 2
4 weeks ago 00:46:43 1
ИГРАЮ ЗА Disruptor В Габенушку 2 ►
4 weeks ago 00:35:00 1
Играем в Габенушку 2 за Dazzle ►
4 weeks ago 00:19:42 1
Слива ► Габенушка 2 ►
4 weeks ago 00:43:52 1
Игроки Габенушки 2 дцп ► играю за Venomancer ►
4 weeks ago 00:29:28 1
Игра ► Габенушка 2 ► Gween of Pain
4 weeks ago 00:39:08 1
МЕНЯ ОСКОРБЛЯЮТ ЗА ТО ЧТО Я ХОРОШО ИГРАЮ ► Габенушка 2► TIMBERSAW