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

Базы данных

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

Выберите поиск:
Что искать:
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=спецификация программ<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   004.4
   Н407

   
    Искусство программирования [] : [Учеб. пособие для вузов] / Е.С. Невская, А.А. Чекулаева, М.И. Чердынцева; Под ред. Г.А. Угольницкого. - москва : Вузовская книга, 2002. - 207 с. - ISBN 5950200039 : 121.96 р.
ГРНТИ
50.05
ББК 004.42(075.8)
Рубрики: Программирование--Учебные пособия
Кл.слова (ненормированные):
программирование -- структура языка -- трансляторы -- архитектура ЭВМ -- верификация программ -- спецификация программ -- объектно-ориентированное программирование -- учебные пособия


Доп.точки доступа:
Чекулаева, А.А.; Чердынцева, М.И.; Невская, Е.С.
Экземпляры всего: 4
кх (4)
Свободны: кх (4)
Найти похожие
2.
   6П2.154
   Д303

    Деметрович, Янош.
    Автоматизированные методы спецификации : научное издание / Я. Деметрович, Э. Кнут, П. Радо ; Пер. с англ. Л. В. Шабанова ; Под ред. Ю. Г. Дадаева. - М. : Мир, 1989. - 115 с. - ISBN 5-03-000487-4 : 0.50 р.
ГРНТИ
50.41
УДК
004.4
Рубрики: Программные средства--Спецификация
Кл.слова (ненормированные):
спецификация программ


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