(в программах эвм)
91Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …
92Защита программного обеспечения — Защита программного обеспечения  комплекс мер, направленных на защиту программного обеспечения от несанкционированного приобретения, использования, распространения, модифицирования, изучения и воссоздания аналогов. Защита от… …
93АЛГОЛ 60 — Алгол (англ. Algol от англ. algorithmic алгоритмический и англ. language язык) название ряда языков программирования, применяемых при составлении программ для решения научно технических задач на ЭВМ. Разработан комитетом по языку высокого… …
94АЛГОЛ — (англ. Algol от англ. algorithmic алгоритмический и англ. language язык) название ряда языков программирования, применяемых при составлении программ для решения научно технических задач на ЭВМ. Разработан комитетом по языку высокого уровня… …
95АН Украины — Помещение Президиума НАН Украины на улице Владимирской в Киеве Национальная академия наук Украины (НАНУ) высшая научная организация Украины. Действует на основании Устава, утверждённого Общим Собранием Академии 5 апреля 2002 года, и… …
96АН УРСР — Помещение Президиума НАН Украины на улице Владимирской в Киеве Национальная академия наук Украины (НАНУ) высшая научная организация Украины. Действует на основании Устава, утверждённого Общим Собранием Академии 5 апреля 2002 года, и… …
97АН УССР — Помещение Президиума НАН Украины на улице Владимирской в Киеве Национальная академия наук Украины (НАНУ) высшая научная организация Украины. Действует на основании Устава, утверждённого Общим Собранием Академии 5 апреля 2002 года, и… …
98Бэйсик — BASIC Класс языка: алгоритмическое, процедурное, объектное программирование Появился в: 1963 г. Типизация данных: нестрогая Бейсик (BASIC сокращение от англ. Beginner s All purpose Symbolic Instruction Code универсальный код символических… …
99ВУАН — Помещение Президиума НАН Украины на улице Владимирской в Киеве Национальная академия наук Украины (НАНУ) высшая научная организация Украины. Действует на основании Устава, утверждённого Общим Собранием Академии 5 апреля 2002 года, и… …
100Виды и классификация электронных денег — Электронные деньги это платёжное средство, существующее исключительно в электронном виде, то есть в виде записей в специализированных электронных системах. Как правило, операции происходят с использованием Интернета, но есть возможность… …
