Какая из теорий не является формализацией семантики?
(Отметьте один правильный вариант ответа.)
Варианты ответа
аксиоматический метод Хоара
метод индуктивных утверждений Р. Флойда
формы Бэкуса-Наура(Верный ответ)