Вы здесь

Ломазова И. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Аксиоматизация тотальной корректности программ с операторами перехода 1980 Ломазова И. А. Теоретические основы компиляции 16.12.1992
А Семантика и алгоритмическая логика для программ с операторами перехода 1981 Ломазова И. А. 08.06.1981
СТ Пошаговая разработка корректных программ посредством процедурной реализации абстрактных типов данных 1986 Ломазова И. А. Новые методы конструирования программ 19.12.1992
СТ Каузальная семантика для сетей петри с контактами 1999 Ломазова И. А. Программирование 29.10.1999
СТ Рекурсивные вложенные сети Петри: анализ семантических свойств и выразительность 2001 Ломазова И. А. Программирование 05.11.2001
СТ Объектно-ориентированные сети Петри: формальная семантика и анализ 2002 Ломазова И. А. Системная информатика 22.03.2003
М Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой 2004 Ломазова И. А. 28.12.2004
СТ Моделирование мультиагентных систем с помо ью обоб енных сетей активных ресурсов 2011 Башкин В. А., Ломазова И. А. Кибернетика и системный анализ 14.05.2011
СТ Автоматическое построение систем распределенных компонентов по моделям вложенных сетей Петри 2016 Дворянский Л. В., Ломазова И. А. Программирование 22.11.2016