Cписок

Баранов С.Н., Волков В.А., Годлевский А.Б., Капитонова Ю.В., Летичевский А..А.
Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами

Вид документа: Стаття періодики
Автор: Баранов С.Н., Волков В.А., Годлевский А.Б., Капитонова Ю.В., Летичевский А..А. Вид автора: персона
Мова: Російська Обсяг: С. 3-11
УДК: 343.3:681.518.3:517.5
Є складовою частиною документа: Кибернетика и системный анализ

Відомості щодо головного

Назва головного документа:

Кибернетика и системный анализ

Дата видання головного документа:

2003

Номер частини головного документа:

Загальна інформація

Бібліографія:

С. 11

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