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