| DC Field | Value | Language |
|---|
| dc.contributor.author | Хачатрян, В. Е. | - |
| dc.contributor.author | Великая, Я. Г. | - |
| dc.contributor.author | Сунцова, А. И. | - |
| dc.date.accessioned | 2010-11-22T15:12:04Z | - |
| dc.date.available | 2010-11-22T15:12:04Z | - |
| dc.date.issued | 2010 | - |
| dc.identifier.citation | Хачатрян, В.Е. Структурные преобразования модели вычислений / В.Е. Хачатрян, Я.Г. Великая, А.И. Сунцова // Информационные системы и технологии. - 2010. - №3. - С. 45-49. | ru |
| dc.identifier.uri | http://dspace.bsu.edu.ru/handle/123456789/795 | - |
| dc.description.abstract | О применении трансформационного метода для распознавания эквивалентности некоторых моделей вычислений. Предлагается преобразование модели, после которого измененная модель, оставаясь в классе эквивалентности, обладает единственным покрытием | ru |
| dc.language.iso | ru | ru |
| dc.subject | математика | ru |
| dc.subject | технические науки | ru |
| dc.subject | вычислительная техника | ru |
| dc.subject | модели вычислений | ru |
| dc.subject | проблема эквивалентности | ru |
| dc.subject | трансформационные методы | ru |
| dc.title | Структурные преобразования модели вычислений | ru |
| dc.type | Article | ru |
| dc.identifier.citationpublication | Информационные системы и технологии | ru |
| dc.identifier.citationnumber | 3 | ru |
| dc.identifier.citationfirstpage | 45 | ru |
| dc.identifier.citationendpage | 49 | ru |
| dc.description.refereed | yes | ru |
| dc.description.institution | БелГУ | ru |
| Appears in Collections: | Статьи из периодических изданий (на русском языке)
|
