HOARE LOGIC

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

Смотреть больше слов в «Англо-русском словаре по компьютерам»

HOAXIAL →← HO

Смотреть что такое HOARE LOGIC в других словарях:

HOARE LOGIC

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

Рекомендуем посмотреть:

DÉMULTIPLICATEUR ÉLECTRONIQUE

GOVERNESS CART

LOCAL MAGNETIC DISTURBANCE

БРЮКВА, ФАРШИРОВАННАЯ БЕЛЫМИ ГРИБАМИ

ВЫДВИЖНОЕ ПЕРЕКРЫТИЕ

ДВУХКОНФОРОЧНЫЙ

ОТБРОСЫ

РАБОТНИКИ НА МЕСТАХ

РЫНОЧНАЯ КОНЦЕНТРАЦИЯ

ЩЕЛКАТЬ КЛЮВОМ

А В О A B C D E F G H I J K L M N O P Q R S T U V W X Y Z