хоаровская логика Hoare logic Источник: Полный русско-английский словарь на Gufo.me Предложить изменения хоана хобарт
