Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>U=004.415.5.052<.>)
Общее количество найденных документов : 1
1.
   681
   А 651

    Андерсон, Роберт.
    Доказательство правильности программ / Р. Андерсон ; пер. Б. Н. Зобнина ; ред. Д. Б. Подшивалова. - Москва : Мир, 1982. - 163 с. - Библиогр.: с. 155-159. - Предм. указ.: с. 160-161. - 0.60 р., 0.60 р.
ГРНТИ
50.33.14
УДК
004.415.5.052
Рубрики: Программотехника. Разработка вычислительных систем
Кл.слова (ненормированные):
вычислительные машины -- математическое обеспечение -- надежность


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