Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий

• Veröffentlicht in: Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
• Datum: 2010
• ISSN: XXXX-0067
• 1. Verfasser: Петриашвили, Г.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2010
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/27559
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Методы синтеза информационных компонент с формальными моделями системы функционирования книжно-журнальных изданий / Г. Петриашвили // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 56. — С. 250-257. — Бібліогр.: 3 назв. — рос.

This article is about the problems of synthesis of formal logic models that are
 used to describe the processes occurring in the system functioning book and magazine
 editions. Based on this it was done the assertion of the consistency of the model
 synthesized from formal lo...