Развитие теории программ и систем в СССР: История и современные теории

Развитие теории программ и систем в СССР: История и современные теории

Авторы

Лаврищева E.M.

Полный текст статьи в формате pdf

Ключевые слова

Теория, методы, научные основы, информационные системы, программные системы, построение, верификация, доказательство, моделирование, интероперабельность.

Издание

Сборник трудов SoRuCom-2017. Четвертая Международная конференция «Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы». Зеленоград, 3–5 октября 1917 г.

978-5-902454-13-7

Научная группа

Технологии программирования

Все публикации за 2017 год Все публикации