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


Использование формальных методов для обеспечения соблюдения программных стандартов


, , , , ,

Препринт Института системного программирования РАН (ИСП РАН)


Начало  Назад  Вперед