A844541-ОХФ Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Вып. 139 : Теория вычислимости и языки спецификаций. - 1991. - 192 с. - ISBN 5-7623-0102-8 : 4.80 р.
Рубрики: математика--математическая логика вычислительная техника--ЭВМ Кл.слова (ненормированные): математическая логика -- вычислимости теория -- языки спецификаций Экземпляры всего: 1 ОХФ (1) |