TY  - BOOK
AU  - Андерсон,Роберт
AU  - Зобнина,Б.Н.
AU  - Подшивалов,Д.Б.
TI  - Доказательство правильности программ
PY  - 1982///
CY  - Москва
PB  - Мир
KW  - Цифровые вычислительные машины
N1  - Оригинал на англ.; Proving Pprograms Correct; Robert B. Anderson -; New York : 1979
ER  -