Ар14-13678 Чистяков, Г. А. Метод и машина логического вывода для формальной верификации параллельных алгоритмов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11, 05.13.15 / Г. А. Чистяков. - СПб., 2014. - 22 с. : ил. - Библиогр.: с. 21-22 (24 назв.). - 100 экз.
Кл.слова (ненормированные): символьная обработка -- темпоральная логика Экземпляры всего 1: ХР (1) Свободны: ХР (1) |