Вып. 9: Формальные методы и модели информатики; Системная информатика
| Parent link: | Системная информатика/ Сибирское отделение РАН; Институт систем информатики. Вып. 9: Формальные методы и модели информатики.— , 1991- |
|---|---|
| Altri autori: | |
| Riassunto: | В 9-й выпуск «Формальные методы и модели информатики» серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений. |
| Lingua: | russo |
| Pubblicazione: |
2004
|
| Soggetti: | |
| Natura: | Libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=78160 |