Теория программирования и средства описания параллелизма дискретных систем, Сборник научных трудов под ред. В.Е.Котова, Новосибирск , 01.1985    Включает: А. Н. Бездушный ,   А. А. Сулимов Реализация базового языка системы верификации программ с помощью СПТ СУПЕР , 01.1985

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад