Проблемы совершенствования синтеза,тестирования, верификации и отладки программ: Т-2/ Редактор Барздинь Я.; - Латви Латвийский государственный университет 1987 - 155



600

вычислительная техника программное обеспечение сборник