TY - BOOK AU - Котов,Вадим Евгеньевич TI - Теория программирования и средства описания параллелизма дискретных систем: Сб. науч. тр. PY - 1985/// CY - Новосибирск PB - ВЦ СО АН СССР KW - Цифровые вычислительные машины - Программирование KW - ციფრული გამოთვლითი მანქანები - პროგრამირება N1 - Библиогр. в конце ст ER -