Подробное описание документа

Системная информатика : сборник научных трудов / Российская академия наук, Сибирское отделение, Институт систем информатики им. А. П. Ершова. - Новосибирск : Наука, Сибирское предприятие РАН, 1995.
Вып. 9 : Формальные методы и модели информатики / ред. Марчук А. Г. - 2004. - 358 с. - Библиогр. в конце статей. - ISBN 5-7692-0700-0.

Аннотация

В 9-й выпуск «Формальные методы и модели информатики» серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвя- щенные различным аспектам информатики; машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений.
Книга представляет интерес для специалистов в области информатики, а также для студентов старших курсов и аспирантов.

УДК
002+004

Предметные рубрики

Программирование для ЭВМ системное

Программирования языки

Информатика

Общее кол-во в фондах
2 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313