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

Роберт АНДЕРСОН; Под ред. Д. Б. Подшивалова ; Пер. с англ ; Р. Андерсон

Б80045

Детайли

Издателство

Мир

Местоиздаване

Москва

Година на издаване

1982

Страници

166 с. с черт.

Класификационен индекс

УДК	Значение
ОА83	ОА83 --> от ISIS без текст

Допълнителна информация

Отрасъл

Математ. науки. ЕИМ

Забележка

Библиогр. с 155- 160.

Инвентаризация

Статус	Брой
Централна библиотека-хранилище	2

Действия

MLA (7th edition) Chicago / Turabian (16th edition) Harvard

АНДЕРСОН, Роберт, , Под ред. Д. Б. Подшивалова ; Пер. с англ, Андерсон, Р. Доказательство правильности программ, Мир, 1982, 166 с. с черт..

АНДЕРСОН, Роберт, , Под ред. Д. Б. Подшивалова ; Пер. с англ, Андерсон, Р.. Доказательство правильности программ. Москва: Мир, 1982, 166 с. с черт..

АНДЕРСОН, Роберт, , Под ред. Д. Б. Подшивалова ; Пер. с англ, Андерсон, Р. (1982) Доказательство правильности программ, Москва: Мир, 166 с. с черт.