Вып. 9: Формальные методы и модели информатики / под ред. А. Г. Марчука

Set Level: Системная информатика / Сибирское отделение РАН; Институт систем информатики, Вып. 9: Формальные методы и модели информатики = 1991-, Системная информатикаSecondary Author: Марчук, А. Г.Language: русский.Country: Россия.Publication: 2004Description: 359 с. : ил.ISBN: 5769207000 .Abstract: В 9-й выпуск «Формальные методы и модели информатики» серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений..Subject: системная информация | машины абстрактных состояний | языки программирования | разработка | сети Петри | вычислительные процессы | машинные коды | генерация | алгоритмы | ограничения | распространение | интегральные методы
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Books НТБ ТПУ Учебный фонд 681.3 С409 Available 13821000317637
Books НТБ ТПУ Научный фонд 05-1203 Available 13821000212696
Books НТБ ТПУ Научный фонд 05-1202 Available 13821000212689
Total holds: 0

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

There are no comments on this title.

to post a comment.