Андерсон Роберт

Доказательство правильности программ

Номер документа в системі:	35258
Автор:	Андерсон Роберт
Назва документа:	Доказательство правильности программ
Видавництво:	Мир
Місто видання:	Москва
Рік видання:	1982
УДК	004.4
Мова документу	Російська
Шифр документу	681.3
Кількість сторінок	163 с.