Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

спецификация языков программирования

Документи:

Ануреев, И. С. Операционно-онтологический подход к формальной спецификации языков программирования [Текст] / И. С. Ануреев // Программирование. – 2008. – № 1. – С. 50-60.
Чеботарев, А. Н. Анализ фиктивности состояния автомата, синтезированного по спецификации, преобразованной из языка L* в язык L [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2013. – Т. 45, № 1. – С. 3-10.