Вид документа : Однотомное издание Шифр издания : 004.422.8/S61 Автор(ы) : Simon A. Заглавие : Value-Range analysis of c programs [Electronic resource] : towards proving the absence of buffer overflow vulnerabilities Выходные данные : London : Springer, 2008 Коллективы : SpringerLink (Online service) Вид и объем ресурса: Electronic text data ISBN, Цена 978-1-84800-017-9: Б.ц. ГРНТИ : 50.41.17 УДК : 004.422.8 Ключевые слова (''Своб.индексиров.''): программы для эвм--анализ--математическое обеспечение--ошибки--уязвимость См. : Текст издания Доп.точки доступа: SpringerLink (Online service)