Додаткова інформація:

Про ІПС
Про журнал
Рубрики журналу
Редакційна колегія
Для авторів
Передплата
Контакти
Партнери

Тел.: (380-44) 526-2148.
Факс: (380-44)526-6263
E-mail: iss@isofts.kiev.ua

Електронна бібліотека ІПС

ЗМІСТ

Wolfgang Goerigk, Hans Langmaack
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation

Нікітченко М.С., Шкільняк С.С.
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення

Грищенко В.Н.
Формальные модели компонентного программирования

Чеботарев А.Н.
Синтез автомата, специфицированного множеством дизъюнктов

Задорожна Н.Т., Валь К.Л.
Концепція керiваного проектування інформаційних систем управлінської діяльності