Страница публикации

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

Тип публикации: Материал конференции

Тип материала: Текст

Авторы: Черкашин Е.А., Парамонов В.В.

Журнал: Тр. XIV Байкальской всерос. конф.

Язык публикации: russian

Том: 2

Номера страниц: 41-46

Количество страниц: 6

Год публикации: 2009

Отчетный год: 2009

Местоположение издательства: Иркутск

Адрес издателя: Иркутск

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Нет

Индексируется ВАК: Нет

Индексируется CORE: Нет