• ВХОД

    •  

    Полное описание

    Теория вычислений и языки спецификаций : сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров ; Ред. Ю. Л. Ершов. - Новосибирск : [б. и.], 1995. - 219 c. : ил. - (Вычислительные системы / Рос.АН.Сиб.отд-ние.Ин-т математики ; 152). - 400 экз. - ISBN 5-86134-012-9. - Текст : непосредственный.
    Библиогр. в конце отд. ст

    ГРНТИ УДК
    50.05.09004.415.28

    Рубрики:
    Программы для ЭВМ -- Спецификация

    Кл.слова (ненормированные): ПРОГРАММА -- СПЕЦИФИКАЦИЯ -- ЭВМ
    Доп. точки доступа:
    Ершов, Ю.Л.\ред.\
    Институт математики (Новосибирск)

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/7099/152)

    Шифр в сводном ЭК: b3a1c7e9d49f6fe8616877a1857d413e



    Заказ фрагмента документа ₽