Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Название:
Раздел:
 
Авторы:
Год выпуска:  до 
Ключевые слова:
   

Системная информатика: Выпуск 9: Формальные методы и модели информатики

Новосибирск: Изд-во СО РАН, 2004 г., 360 с., Тираж 350, ISBN 5-7692-0700-0

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

300 руб В корзину