Вид документа : Однотомное издание Шифр издания : Пр31/Пр31/139 Заглавие : Теория вычислимости и языки спецификаций Выходные данные : Новосибирск, 1991 Колич.характеристики :192 с., включ. обл.: ил. Серия: Вычислительные системы: сб. науч. тр., ISSN 0568-661X; 139 Примечания : Библиогр. в конце ст. ISBN, Цена 5-7623-0102-8: Б.ц. ГРНТИ : 50.05.09 + 27.03 ББК : З 973.2-018.12я43 + В127Я43 + В123С512Я43 Предметные рубрики: Языки программирования Вычислимость в математической логике Прикладная логика Дескрипторы: сб пр Экземпляры :02(1) Свободны : 02(1) Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\ |