Электронный каталог НБ БНТУ

rus

Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)

ОНЛАЙН-ЗАКАЗ книг из каталога
ФИЛИАЛЫ
КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

Личный кабинет :

Электронный каталог: Ануреев, И.С. - Операционно-онтологический подход к формальной спецификации языков программирования

Ануреев, И.С. - Операционно-онтологический подход к формальной спецификации языков программирования

Операционно-онтологический подход к формальной спецификации языков программирования

Статья
Автор: Ануреев, И.С.
Программирование: Операционно-онтологический подход к формальной спецификации языков программирования
б.г.
ISBN отсутствует

На полку

Статья

Ануреев, И.С.
Операционно-онтологический подход к формальной спецификации языков программирования / И.С. Ануреев // Программирование / гл. ред. В.П. Иванников; учредитель Российская академия наук. – 2009. – N1. – С.50-60.

В работе представлен операционно-онтологический подход к формальной спецификации языков программирования

004.92+004.94

общий = БД Техника
общий = ЯЗЫКИ ПРОГРАММИРОВАНИЯ
общий = СЕМАНТИКА