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

Сохранено в:
Шифр документа: 2//225755(039),
Вид документа: Авторефераты диссертаций
Автор: Герасимов, А. Ю.
Опубликовано: Москва , 2019
Физические характеристики: 24 с., включая обложку : табл.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0001531751
005 20190515140636.0
100 # # $a 20190218d2019 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 24 с., включая обложку  $c табл. 
320 # # $a Библиография: с. 22—24 (14 назв.) 
606 0 # $3 BY-NLB-ar2143636  $a ПРОГРАММНЫЕ ОШИБКИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar23154  $a ПЕРЕДАЧА ДАННЫХ  $2 DVNLB 
606 0 # $3 BY-NLB-ar83227  $a АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ  $2 DVNLB 
686 # # $a 50.41.01  $v 6  $2 rugasnti 
686 # # $a 50.05.03  $v 6  $2 rugasnti 
686 # # $a 05.13.11  $2 oksvnk 
700 # 1 $3 BY-SEK-ar13452344  $a Герасимов  $b А. Ю.  $g Александр Юрьевич 
801 # 0 $a BY  $b BY-HM0000  $c 20190218  $g RCR