|
|
|
|
| LEADER |
01807naa a2200313 c 4500 |
| 001 |
koha000926166 |
| 005 |
20240528114435.0 |
| 007 |
cr | |
| 008 |
221228s2022 ru fs 100 0 rus d |
| 024 |
7 |
|
|a 10.17223/978-5-907572-27-0-2022-15
|2 doi
|
| 035 |
|
|
|a koha000926166
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Картавых, Георгий Владимирович
|9 856176
|
| 245 |
1 |
0 |
|a Применение бинарного графа для верификации программного кода
|c Г. В. Картавых, В. В. Андреева
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 4 назв.
|
| 653 |
|
|
|a верификация
|
| 653 |
|
|
|a программное обеспечение
|
| 653 |
|
|
|a программный код
|
| 655 |
|
4 |
|a статьи в сборниках
|9 879352
|
| 700 |
1 |
|
|a Андреева, Валентина Валерьевна
|9 81951
|
| 773 |
0 |
|
|t Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.
|d Томск, 2022
|g С. 92-99
|k Труды Томского государственного университета ; т. 307 : Серия физико-математическая
|z 9785907572270
|w koha000902823
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926166
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=926166
|
| 908 |
|
|
|a статья
|
| 039 |
|
|
|b 100
|
| 999 |
|
|
|c 926166
|d 926166
|
