Вы находитесь на старом сайте МЦСТ. Актуальный материал смотрите на новом сайте.
МЦСТНаука и образованиеСеминары
Научный семинар АО «МЦСТ» и ПАО «ИНЭУМ им.И.С.Брука» по теме «Системы программной верификации»
Научный семинар АО «МЦСТ» и ПАО «ИНЭУМ им.И.С.Брука» по теме «Системы программной верификации»
26 января 2017г. состоялся научный семинар АО «МЦСТ» и ПАО «ИНЭУМ им.И.С.Брука» по теме: «Системы программной верификации» Доклад А.Н. Карпова и Е.А. Рожкова, ООО «Системы программной верификации», г.Тула