Вид документа : Однотомное издание Шифр издания : 32.973/А 65 Автор(ы) : Андерсон Р. Заглавие : Доказательство правильности программ. Выходные данные : Б.м., 1982 Колич.характеристики :163 с Цена : 0.60, р. ББК : 32.973 Предметные рубрики: Компьютеры Ключевые слова (''Своб.индексиров.''): вычислительные машины Экземпляры :ОЗ(1) Свободны : ОЗ(1)