TY - BOOK AU - Агафонов,Валерий Николаевич AU - Ершов, А. П. AU - Елепов, Б. С. ED - Сиб.отд-ние, ВЦ ГПНТБ TI - Спецификация программ: понятийные средства и их организация PY - 1987/// CY - Новосибирск PB - Наука, Сиб.отд-ние KW - კომპიუტერი KW - პროგრამის სპეციფიკა KW - კონცეპტუალური საშუალება KW - ორგანიზაცია N1 - В пер; Библиогр.: с.233-238 (130 назв.) N2 - 1.Вычислительные машины электронные - Программы - Спецификация ER -