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