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

Сохранить в:

Библиографические подробности
Автор:	Андерсон Р.
Тип документа:	Книга
Язык:	Russian English
Год издания:	Москва Мир 1982
Рубрика:	Математическое обеспечение Надежность
Ключевые слова:	Цифровые вычислительные машины Математическое обеспечение Надежность


LEADER	01130nam0a2200277 i 4500
001	9AE68AED-1396-4159-AA40-9D82A26AA955
010			\|d р.0.60
100			\|a 20120326d1982 \|\|\|y0rusy02 ca
101	1		\|a rus \|c eng
102			\|a RU
105			\|a y \|\|\|\|000zy
200	1		\|a Доказательство правильности программ \|f Р. Андерсон \|g пер. с англ. Б. Н. Зобниной ; под ред. Д. Б. Подшивалова
210			\|a Москва \|c Мир \|d 1982
215			\|a 163с. \|d 20 см
320			\|a Библиогр.: с. 155-159 (95 назв.). - Предм. указ.: с. 160-161
454		0	\|1 7001 \|a Anderson Robert B. \|1 2001 \|a Proving programs correct
606			\|a Цифровые вычислительные машины \|x Математическое обеспечение \|x Надежность
686			\|a 32 \|2 rubbk
686			\|a 50 \|2 rugasnti
700		1	\|a Андерсон \|b Р. \|g Роберт
702		1	\|a Подшивалов \|b Д. Б. \|4 340
702		1	\|a Зобнина \|b Б. Н. \|4 730
801		0	\|b ГПНТБ России \|a RU \|c 20120326