Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Ануреев, И. С.
    Операционно-онтологический подход к формальной спецификации языков программирования [Текст] / Институт система информатики СО РАН, г.Новосибирск // Программирование. — 2009. — С. 50-60.

- Анотація:

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

- Є складовою частиною документа:

- Теми документа

  • УДК // Комп’ютерна графіка
  • УДК // Комп’ютерне моделювання
  • УДК // Комп’ютерні мови



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт