Тестирование софта - статьи

       

Верификация компиляторов - систематический подход


С.В. Зеленов, Н.В. Пакулин,
Труды Института системного программирования РАН


Содержание раздела








Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий