Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
Add to Quick Collection
Description
Size
Format
Конвертация μCRL-описания автомата в формат kitidis
374 KB
Adobe Acrobat PDF
View Details
Download
Title
Конвертация μCRL-описания автомата в формат kitidis
Creator
Кан, Надежда Владимировна
Subject
kitidis, формат представления автоматов
языки описания автоматов
создание программ
Date
2018
Relationships
Show Relationship Browser for this Object
collection(s)
Радиофизический факультет
Identifier
vtls:000651811
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651811
Type
статьи в сборниках
Source
Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.. Томск, 2018. С. 56-58
Language
rus
472 Visitors
325 Hits
161 Downloads
Preview
Радиофизический факультет
Конвертация μCRL-описания автомата в формат kitidis
^ DIV >