|
ВА615065 Коваль, Валерий Николаевич. Концепторные языки. Доказательное проектирование [Текст] / В. Н. Коваль ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К. : Наукова думка, 2001. - 182 с.: табл. - Библиогр.: с. 173-182. - ISBN 966-00-0717-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
|