预览

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

Расширенный поиск

Информация о разделе


软件理论

 
Выпуск Название
 
Том 31, № 2 (2024) 列支敦士登 Аннотация PDF(俄语)
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин
 
Том 31, № 1 (2024) Шаблоны требований в дедуктивной верификации poST-программ Аннотация PDF(俄语)
Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина
 
Том 31, № 1 (2024) 根据IEC 61131-3标准 Аннотация PDF(俄语)
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев
 
Том 30, № 4 (2023) 长期负债表 Аннотация PDF(俄语)
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин
 
1 - 4 из 4 результатов