Поиск :
Личный кабинет :
Электронный каталог: Мандрыкин, М.У. - Анализ регионов для дедуктивной верификации Си-программ
Мандрыкин, М.У. - Анализ регионов для дедуктивной верификации Си-программ
Статья
Автор: Мандрыкин, М.У.
Программирование: Анализ регионов для дедуктивной верификации Си-программ
б.г.
ISBN отсутствует
Автор: Мандрыкин, М.У.
Программирование: Анализ регионов для дедуктивной верификации Си-программ
б.г.
ISBN отсутствует
На полку
Статья
Мандрыкин, М.У.
Анализ регионов для дедуктивной верификации Си-программ / М.У.Мандрыкин, А.В.Хорошилов // Программирование. – 2016. – №5. – с.3-29. – URL: http://dx.doi.org/10.1134/S0361768816050042. – Библиогр.:22.
Спец.(статьи,препринты) = Ц 840 б1 - Языки программирования и языковые процессоры (компиляторы, интерпретаторы)
Мандрыкин, М.У.
Анализ регионов для дедуктивной верификации Си-программ / М.У.Мандрыкин, А.В.Хорошилов // Программирование. – 2016. – №5. – с.3-29. – URL: http://dx.doi.org/10.1134/S0361768816050042. – Библиогр.:22.
Спец.(статьи,препринты) = Ц 840 б1 - Языки программирования и языковые процессоры (компиляторы, интерпретаторы)
