51(06)
   А 38


    Академия наук СССР. Сибирское отделение. Ин-т математики.
    Сборник научных трудов. [Вып.] 139. (Вычислительные системы). Теория вычислимости и языки спецификаций [Текст] / Науч.ред.:Ю.Л.Ершов,С.С.Гончаров. - Новосибирск : [б. и.], 1991. - 192 c. - ISBN 5-7623-0102-8 : 12.00 р.
УДК

Кл.слова (ненормированные):
Семантическое программирование -- Вычислимость (теория) -- СБОРНИКИ ТРУДОВ -- ПРОГРАММИРОВАНИЕ -- ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ
Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)