Использование формальных методов для обеспечения соблюдения программных стандартов
, , , , ,
Препринт Института системного программирования РАН (ИСП РАН)
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий