Отображение 1 - 1 результаты of 1 для поиска 'Dykstra, Josiah', время запроса: 0.01сек.
Отмена результатов
-
1
Software verification and validation with destiny a parallel approach to automated theorem proving. по Dykstra, Josiah
Опубликовано в: Crossroads : the ACM student magazine.Шифр: loading...
Местонахождение: loading...Статья loading...