Надежность и отладка программ.

Исправить карточку документа
Исправить документ
Добавить в карточку документа ссылку на файл
Добавить файл
Выбор разделов содержащих текущий документ
Список разделов
Удалить карточку документа из библиотеки
Удалить документ
Помощь
Раздел 'Надежность и отладка программ.'..
Информация о структуре библиотеки Структура библиотеки.
АвторАндерсон Р. Пер. с англ. Зобниной Б.Н. Под ред. Подшивалова Д.Б.
НазваниеДоказательство правильности программ.
Дополнительное название
ИздательствоМ.: Мир. 163с. Библиогр. С.154-159.
Год издания1982
Адрес для связи:
library@math.rsu.ru
Местонахождение:Библиотека НИИМ и ПМ
Аннотация:
-3