|
Книга ID: 697046
Оценка качества и исследование программных продуктов: языково - ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И. Коган, Т.О. Матвеева
Тематика, ключевые слова:
Вычислительные машины электронные цифровые -- Программирование -- Автоматизация. язык QualS.
Сведения об издании:
Владивосток Ин-т автоматики и процессов упр. Дальневост. отд-ние РАН 1999 45 с. 21 см
Язык:
rus
|
|