Автор: Андерсон Роберт
Основное заглавие: Доказательство правильности программ
Ответственность: пер. с англ. Зобниной Б. Н. ; под ред. Подшивалова Д. Б.
Физический носитель: Текст
Год публикации: 1982
Место издания: М.
Издательство: Мир
Объем: 163 с.
Ключевые слова: Цифровые вычислительные машины; Математическое обеспечение; Программное обеспечение;
ББК: 32.973.2-018-02
Библиография: Библиогр.6 с. 155-159 (95 назв.). - Предм. указ.: с. 160-161
№ | Инвентарный номер |
Сигла | Статус | Дата возврата |
---|---|---|---|---|
1 | 2018630 | кх | Доступна | - |