Авторизация
Фамилия
Пароль
 

Базы данных

Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии

Выберите поиск:
Что искать:
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Непомнящий, Валерий Александрович$<.>)
Общее количество найденных документов : 1
1.
   6П2.154
   Н535

    Непомнящий, Валерий Александрович.
    Прикладные методы верификации программ : научное издание / В. А. Непомнящий, О. М. Рякин ; Под ред. А. П. Ершова. - М. : Радио и связь, 1988. - 256 с. - ISBN 5-256-00156-6 : 0.80 р.
ГРНТИ
50.41
УДК
004.4
Рубрики: Программные средства--ЭВМ--Верификация программ
Кл.слова (ненормированные):
ЭВМ -- верификация программ


Доп.точки доступа:
Рякин, Олег Михайлович; Ершов, А.П. \ред.\
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога