Поиск :
Личный кабинет :
Электронный каталог: Герасимов, А.Ю. - Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах
Герасимов, А.Ю. - Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах
Статья
Автор: Герасимов, А.Ю.
Программирование: Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах
б.г.
ISBN отсутствует
Автор: Герасимов, А.Ю.
Программирование: Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах
б.г.
ISBN отсутствует
На полку
Статья
Герасимов, А.Ю.
Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах / А.Ю.Герасимов // Программирование. – 2018. – №5. – с.31-42. – URL: http://dx.doi.org/10.31857/S013234740001213-9. – Библиогр.:47.
Спец.(статьи,препринты) = Ц 840 - Программирование. Общие вопросы
Герасимов, А.Ю.
Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах / А.Ю.Герасимов // Программирование. – 2018. – №5. – с.31-42. – URL: http://dx.doi.org/10.31857/S013234740001213-9. – Библиогр.:47.
Спец.(статьи,препринты) = Ц 840 - Программирование. Общие вопросы
