Полное описание
> Теория вычислений и языки спецификаций : сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров ; Ред. Ю. Л. Ершов. - Новосибирск : [б. и.], 1995. - 219 c. : ил. - (Вычислительные системы / Рос.АН.Сиб.отд-ние.Ин-т математики ; 152). - 400 экз. - ISBN 5-86134-012-9. - Текст : непосредственный.
Библиогр. в конце отд. ст
ГРНТИ | УДК | |
50.05.09 | 004.415.28 |
Рубрики:
Программы для ЭВМ -- Спецификация
Кл.слова (ненормированные): ПРОГРАММА -- СПЕЦИФИКАЦИЯ -- ЭВМ
Доп. точки доступа:
Ершов, Ю.Л.\ред.\
Институт математики (Новосибирск)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/7099/152)>
Шифр в сводном ЭК: b3a1c7e9d49f6fe8616877a1857d413e
Заказ фрагмента документа ₽