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
Preview
Add to "Quick Collection"
Description
Size
Format
Инструмент автоматизированной разработки программ на основе формальных моделей
283 KB
Adobe Acrobat PDF
Read
Download
#автоматное программирование
#экспериментальные исследования
#граф переходов
#формальные модели программ
Title
Инструмент автоматизированной разработки программ на основе формальных моделей
Creator
Кан, Надежда Владимировна
Date
2020
Description
Работа посвящена созданию инструмента автоматизированной разработки программ на основе формальных моделей. Для
Relationships
Show Relationship Browser for this Object
collection(s)
Радиофизический факультет
Identifier
смотреть в электронном каталоге НБ ТГУ
Type
статьи в сборниках
Source
Труды семнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, г. Томск, 11–15 мая 2020 г.. Томск, 2020. С. 151-154
Language
rus
Created: 09-03-2021
412 Visitors
235 Hits
183 Downloads
Радиофизический факультет
Инструмент автоматизированной разработки программ на основе формальных моделей
^ DIV >