Normal view
MARC view
Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей (Record no. 477723)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 01807naa a2200325 c 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000793163 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230319222015.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 210204s2020 ru fs 100 0 rus d |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000793163 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 100 1# - Автор | |
| Автор | Мануилов, Вячеслав Андреевич |
| 9 (RLIN) | 509102 |
| 245 10 - Заглавие | |
| Заглавие | Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей |
| Ответственность | В. А. Мануилов, Н. В. Шабалдина |
| 336 ## - Тип содержимого | |
| Тип содержимого | Текст |
| 337 ## - Средство доступа | |
| Средство доступа | электронный |
| 504 ## - Библиография | |
| Библиография | Библиогр.: 2 назв. |
| 653 ## - Ключевые слова | |
| Ключевые слова | тестирование дискретных систем |
| 653 ## - Ключевые слова | |
| Ключевые слова | онлайн-курсы |
| 653 ## - Ключевые слова | |
| Ключевые слова | модели конечных автоматов |
| 653 ## - Ключевые слова | |
| Ключевые слова | системы автоматического оценивания и проверки |
| 653 ## - Ключевые слова | |
| Ключевые слова | формальные модели |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | статьи в сборниках |
| 9 (RLIN) | 879352 |
| 700 1# - Другие авторы | |
| Другие авторы | Шабалдина, Наталия Владимировна |
| 9 (RLIN) | 79067 |
| 773 0# - Источник информации | |
| Название источника | Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. |
| Место и дата издания | Томск, 2020 |
| Прочая информация | С. 139 |
| ISBN | 9785946219136 |
| Контрольный № источника | to000724158 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| 856 4# - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000793163">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000793163</a> |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | статья |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 477723 |
No items available.