Искать
Отображаемые элементы 1-1 из 1
Задача оценки верицикации (корректности) алгоритмов и компьютерных программ
(ВНТУ, 2010)
В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ. В работе особое место занимает анализ связи между конечными автоматами, порождающими ...