Вики

Логика Хоара

Логика Хоара Логика Хоара — формальная система для обоснования корректности компьютерных программ.  Предложена Тони Хором в 1969 году и доработана […]