Preview

Моделирование и анализ информационных систем

Расширенный поиск
Полноэкранный режим

Для цитирования:


Ануреев И.С. Операционная семантика аннотированных Reflex программ. Моделирование и анализ информационных систем. 2019;26(4):475-487. https://doi.org/10.18255/1818-1015-2019-4-475-487

For citation:


Anureev I.S. Operational Semantics of Annotated Reflex Programs. Modeling and Analysis of Information Systems. 2019;26(4):475-487. (In Russ.) https://doi.org/10.18255/1818-1015-2019-4-475-487



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)