Вид документа : Многотомное издание Шифр издания : 578062 681.142(08)/В94 Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 139: Теория вычислимости и языки спецификаций Выходные данные : Новосибирск, 1991 Колич.характеристики :192 с ISBN, Цена 5-7623-0102-8: 4.80 р. УДК : 510 + 004 Предметные рубрики: математика-- математическая логика вычислительная техника-- ЭВМ Ключевые слова (''Своб.индексиров.''): математическая логика--вычислимости теория--языки спецификаций Экземпляры :ОХФ(1) Свободны : ОХФ(1)