Вып. 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
Item type Current library Call number Status Barcode
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.