TY - BOOK AU - Ачасова С.М. AU - Бандман О.Л. AU - Миренков Н.Н. ED - Академия наук СССР TI - Корректность параллельных вычислительных процессов SN - 5020293342 PY - 1990/// CY - Новосибирск PB - Наука, Сиб. отд-ние KW - Коды корректирующие KW - Вычислительные системы KW - Мультипрограммирование KW - გამოთვლითი ტექნიკა N1 - Библиогр.: с. 246-249; Предм. указ.: с. 250-252 ER -