З 973.5 А 65 Андерсон, Роберт. Доказательство правильности программ : научное издание / Р. Андерсон ; пер. Б. Н. Зобнина ; ред. Д. Б. Подшивалов. - М. : Мир, 1982. - 163 с. : табл., рис. - Предм. указ.: с. 160-161. - 0.60 р. Доп. тит. л. на англ.
Рубрики: Вычислительные машины--Программы Держатели документа: ИСЭМ Доп.точки доступа: Зобнина, Б. Н. \пер.\; Подшивалов, Д. Б. \ред.\ Имеются экземпляры в отделах: ХР Инв.31634 (свободен) |
З 973.5 Г85 Грис, Дэвид. Наука программирования : пер. с англ. / Д. Грис ; ред. А. П. Ершов ; пер. Н. Н. Непейвода. - М. : Мир, 1984. - 416 с. - Библиогр.: с. 413 - 414. - (в пер.) : 1.90 SUR Рубрики: Математическая кибернетика Кл.слова (ненормированные): математика -- кибернетика -- математическая кибернетика -- программа -- программа -- логика -- высказывание -- рассуждение -- предикат -- выбор -- массив -- обозначение -- документирование -- доказательство -- команда -- повторение -- присваивание -- построение -- инвариант Держатели документа: ИСЭМ Доп.точки доступа: Ершов, А. П. \ред.\; Непейвода, Н. Н. \пер.\ Имеются экземпляры в отделах: ХР Инв.34060 (свободен) |