Программные продукты и системы

Тверь: НИИ Центрпрограммсистем. — 200 c. — ISSN 0236-235X. Международный журнал «Программные продукты и системы» публикует материалы научного и научно-практического характера по новым информационным технологиям, результаты академических и отраслевых исследований в области использования средств вычислительной техники. Кораблин Ю.П., Косакян М.Л. Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейно...

Тверь: НИИ Центрпрограммсистем. — 200 c. — ISSN 0236-235X. Журнал способствует обобщению и распространению опыта разработки и применения вычислительной техники и программных средств, знакомит читателей с работами ученых и специалистов России и зарубежных стран, анализирует тенденции и прогнозирует развитие программно-технических средств. Международный журнал «Программные продукты и системы» публикует материалы научного и научно-практического хара...

Тверь: НИИ Центрпрограммсистем. — 214 c. — ISSN 0236-235X. Журнал способствует обобщению и распространению опыта разработки и применения вычислительной техники и программных средств, знакомит читателей с работами ученых и специалистов России и зарубежных стран, анализирует тенденции и прогнозирует развитие программно-технических средств. Международный журнал «Программные продукты и системы» публикует материалы научного и научно-практического хара...

Тверь: НИИ Центрпрограммсистем. — 214 c. — ISSN 0236-235X. Журнал способствует обобщению и распространению опыта разработки и применения вычислительной техники и программных средств, знакомит читателей с работами ученых и специалистов России и зарубежных стран, анализирует тенденции и прогнозирует развитие программно-технических средств. Международный журнал «Программные продукты и системы» публикует материалы научного и научно-практического хара...