Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Захаров Илья Сергеевич

Сохранено в:
Шифр документа: 2//227342(039),
Вид документа: Авторефераты диссертаций
Автор: Захаров, И. С.
Опубликовано: Москва , 2019
Физические характеристики: 25 с. : ил., цв. ил.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0001548574
005 20190905143122.0
100 # # $a 20190425d2019 k y0rusy50 ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a a m 000yy 
109 # # $a ac  $a aa 
200 1 # $a Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ  $e автореферат диссертации на соискание ученой степени кандидата физико-математических наук  $e специальность 05.13.11Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей  $f Захаров Илья Сергеевич  $g [Институт системного программирования им. В. П. Иванникова Российской академии наук] 
210 # # $a Москва  $d 2019 
215 # # $a 25 с.  $c ил., цв. ил. 
320 # # $a Библиография: с. 24—25 (11 назв.) 
606 0 # $3 BY-NLB-ar25759  $a ПРОГРАММНЫЕ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar40089  $a ЯЗЫКИ ПРОГРАММИРОВАНИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5128  $a ВЕРИФИКАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar4737722  $a ПРОГРАММНЫЕ МОДЕЛИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2973  $a АРХИТЕКТУРА СИСТЕМ (вычисл. техника)  $2 DVNLB 
606 0 # $3 BY-NLB-ar8757  $a ДЕКОМПОЗИЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar30158  $a СИНТЕЗ СИСТЕМ (электроника)  $2 DVNLB 
686 # # $a 05.13.11  $2 oksvnk 
686 # # $a 28.23.29  $v 6  $2 rugasnti 
700 # 1 $3 BY-SEK-ar13504885  $a Захаров  $b И. С.  $g Илья Сергеевич 
801 # 0 $a BY  $b BY-HM0000  $c 20190425  $g RCR