Расширенный поиск

Агафонов В. Н.
   Спецификация программ: понятийные средства и их организация : монография / Агафонов В. Н. ; отв. ред. Котов В. Е. - 2-е изд., испр. и доп. - Новосибирск : Наука, Сибирское отделение, 1990. - 220 с. - Библиогр.: с. 210-214. - ISBN 5-02-029666-X.

   Вычислительные системы : сборник научных трудов / Российская академия наук, Сибирское отделение, Институт математики им. С. Л. Соболева. - Новосибирск, 1995. - Институт математики им. С. Л. Соболева до 1995 г. - Институт математики. - ISSN 0568-661X.
   Вып. 152 : Теория вычислений и языки спецификаций / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1995. - 219 с. - Библиогр. в конце статей. - ISBN 5-86134-012-9.

Лаврищева, Е. М.  Программная инженерия и технологии программирования сложных систем : учебник для вузов / Е. М. Лаврищева. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2025. — 432 с. — (Высшее образование). — ISBN 978-5-534-07604-2.