HOARE LOGIC Англо-русский перевод HOARE LOGIC хоаровская логика (формализм для частичного доказательства правильности программ) New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011