|
|
|
|
| LEADER |
01946naa a2200337 c 4500 |
| 001 |
vtls000793163 |
| 003 |
RU-ToGU |
| 005 |
20230319222015.0 |
| 007 |
cr | |
| 008 |
210204s2020 ru fs 100 0 rus d |
| 035 |
|
|
|a to000793163
|
| 039 |
|
9 |
|a 202102101213
|c 202102101157
|d cat34
|c 202102041706
|d VLOAD
|y 202102041639
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Мануилов, Вячеслав Андреевич
|9 509102
|
| 245 |
1 |
0 |
|a Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей
|c В. А. Мануилов, Н. В. Шабалдина
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 2 назв.
|
| 653 |
|
|
|a тестирование дискретных систем
|
| 653 |
|
|
|a онлайн-курсы
|
| 653 |
|
|
|a модели конечных автоматов
|
| 653 |
|
|
|a системы автоматического оценивания и проверки
|
| 653 |
|
|
|a формальные модели
|
| 655 |
|
4 |
|a статьи в сборниках
|9 879352
|
| 700 |
1 |
|
|a Шабалдина, Наталия Владимировна
|9 79067
|
| 773 |
0 |
|
|t Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7-9 сентября 2020 г.
|d Томск, 2020
|g С. 139
|z 9785946219136
|w to000724158
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000793163
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=477723
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 477723
|d 477723
|
