УДК |
Аннотация: В 9-й выпуск "Формальные методы и модели информатики" серии "Системная информатика" вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений. Книга представляет интерес для специалистов в области информатики, а также для студентов старших курсов и аспирантов.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Марчук, Анатолий Гуриевич \ред.\; Институт систем информатики им. А.П.Ершова СО РАН(Новосибирск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)