Вид документа : Однотомное издание Шифр издания : Ар11-7768 Автор(ы) : Моисеев М.Ю. Заглавие : Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа : автореф. дис. ... канд. техн. наук : 05.13.11 Выходные данные : СПб., 2011 Колич.характеристики :18 с.: ил Примечания : Библиогр.: с. 18 (9 назв.) ГРНТИ : 50.41 УДК : 004.415.53(043) Ключевые слова (''Своб.индексиров.''): программное обеспечение--проектирование--качество--дефекты--обнаружение--статические методы--автоматизация Экземпляры :ХР(1) Свободны : ХР(1)