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