Поиск ведется по:
Общее количество найденных документов : 2
>
1. 004.4
Н407
Искусство программирования [Текст] : [Учеб. пособие для вузов] / Е.С. Невская, А.А. Чекулаева, М.И. Чердынцева; Под ред. Г.А. Угольницкого. - москва : Вузовская книга, 2002. - 207 с. - ISBN 5950200039 : 121.96 р.
ГРНТИ 50.05
ББК 004.42(075.8)
Ключевые слова: программирование -- структура языка -- трансляторы -- архитектура ЭВМ -- верификация программ -- спецификация программ -- объектно-ориентированное программирование -- учебные пособия
Доп.точки доступа: Чекулаева, А.А. --- Чердынцева, М.И. --- Невская, Е.С. ---
Экземпляры всего: 4
Mесто хранения: кх (4)
Свободны: кх (4)
Найти похожие
>
Н407
Искусство программирования [Текст] : [Учеб. пособие для вузов] / Е.С. Невская, А.А. Чекулаева, М.И. Чердынцева; Под ред. Г.А. Угольницкого. - москва : Вузовская книга, 2002. - 207 с. - ISBN 5950200039 : 121.96 р.
ГРНТИ 50.05
ББК 004.42(075.8)
Ключевые слова: программирование -- структура языка -- трансляторы -- архитектура ЭВМ -- верификация программ -- спецификация программ -- объектно-ориентированное программирование -- учебные пособия
Доп.точки доступа: Чекулаева, А.А. --- Чердынцева, М.И. --- Невская, Е.С. ---
Экземпляры всего: 4
Mесто хранения: кх (4)
Свободны: кх (4)
Найти похожие
>
2. 6П2.154
Н535
Непомнящий, Валерий Александрович.
Прикладные методы верификации программ : научное издание / В. А. Непомнящий, О. М. Рякин ; Под ред. А. П. Ершова. - М. : Радио и связь, 1988. - 256 с. - ISBN 5-256-00156-6 : 0.80 р.
ГРНТИ 50.41
УДК:004.4
Ключевые слова: ЭВМ -- верификация программ
Доп.точки доступа: Рякин, Олег Михайлович --- Ершов, А.П. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Н535
Непомнящий, Валерий Александрович.
Прикладные методы верификации программ : научное издание / В. А. Непомнящий, О. М. Рякин ; Под ред. А. П. Ершова. - М. : Радио и связь, 1988. - 256 с. - ISBN 5-256-00156-6 : 0.80 р.
ГРНТИ 50.41
УДК:004.4
Ключевые слова: ЭВМ -- верификация программ
Доп.точки доступа: Рякин, Олег Михайлович --- Ершов, А.П. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие