Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=Хоара стиль<.>)
Общее количество найденных документов : 1
1.


   
    Дедуктивная верификация reflex-программ [Текст] / И. С. Ануреев, Н. О. Гаранина, Т. В. Лях [и др.] // Программирование. - 2020. - № 4. - С. 14-26 . - ISSN 0132-3474
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
reflex-программы -- Хоара стиль -- метод верификации -- программное обеспечение -- стиль Хоара
Аннотация: Представлен новый двухшаговый метод верификации для управляющего программного обеспечения.


Доп.точки доступа:
Ануреев, И. С.; Гаранина, Н. О.; Лях, Т. В.; Розов, А. С.; Зюбин, В. Е.; Горлач, С. П.

Имеются экземпляры в отделах: всего 1 : н.з. (1)
Свободны: н.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 20.07.2024
Число запросов 43506
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)