Поиск

етоды верификации и валидации сложных программных систем

Авторы: Демин, А. А. Карпунин, А. А. Ганев, Ю. М.
Подробная информация
Индекс УДК 681.3
Другие авторы Карпунин, А. А.
Программные продукты и системы
2014
№ 4. - С. 229-233