1969 г. в области вычислений

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