Normal view
MARC view
Метод и машина логического вывода для формальной верификации параллельных алгоритмов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 ; 05.13.15 Чистяков Геннадий Андреевич
Material type:
TextPublication details: Санкт-Петербург [б. и.] 2015Description: 22 с. илSubject(s): математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей | Вычислительные машины, комплексы и компьютерные сети | авторефераты диссертаций
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 2-020192 (Browse shelf (Opens below)) | Available | 13820000900762 |
Библиогр.: с. 21-22
There are no comments on this title.