|
|
ВА619005
Валидов, Фарит Искандерович.
Введение в теорию формального вывода программ [Текст] / Ф. И. Валидов ; Институт экономики, управления и права. - Казань : Издательство ИЭУП "Таглимат" Института экономики, управления и права, 1999. - 98 с. - Библиогр.: с. 151. - ISBN 5-8399-001-X
Библиогр.: с. 98Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт экономики, управления и права (Казань)
Видання зберігається у :
Основний фонд
|
|