Конвертация μCRL-описания автомата в формат kitidis

Библиографическая информация
Опубликовано в: :	Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г. С. 56-58
Главный автор:	Кан, Надежда Владимировна
Формат:	Статья в сборнике
Язык:	Russian
Предметы:	kitidis, формат представления автоматов языки описания автоматов создание программ статьи в сборниках
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651811 Перейти в каталог НБ ТГУ


LEADER	01460naa a2200277 c 4500
001	vtls000651811
003	RU-ToGU
005	20230319214354.0
007	cr \|
008	190404s2018 ru fs 100 0 rus d
035			\|a to000651811
039		9	\|a 201904041316 \|c 201904041315 \|d cat34 \|c 201904040917 \|d VLOAD \|y 201904040906 \|z Александр Эльверович Гилязов
040			\|a RU-ToGU \|b rus \|c RU-ToGU
100	1		\|a Кан, Надежда Владимировна \|9 491451
245	1	0	\|a Конвертация μCRL-описания автомата в формат kitidis \|c Н. В. Кан
504			\|a Библиогр.: 6 назв.
653			\|a kitidis, формат представления автоматов
653			\|a языки описания автоматов
653			\|a создание программ
655		4	\|a статьи в сборниках \|9 879352
773	0		\|t Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г. \|d Томск, 2018 \|g С. 56-58 \|z 9785895036198
852	4		\|a RU-ToGU
856	4		\|u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651811
856			\|y Перейти в каталог НБ ТГУ \|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=448958
908			\|a статья
999			\|c 448958 \|d 448958

Похожие документы