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

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

ГРНТИ	УДК
50.05.09	004.415.28

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

Кл.слова (ненормированные): программа -- эвм -- спецификация
Доп. точки доступа:
Ершов, Ю.Л.\ред.\
Институт математики (Новосибирск)

Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)

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