HOARE LOGIC


Англо-русский перевод HOARE LOGIC

хоаровская логика (формализм для частичного доказательства правильности программ)

New large English-Russian dictionary .      Новый большой Англо-Русский словарь.