Вып. 9: Формальные методы и модели информатики; Системная информатика
| Parent link: | Системная информатика/ Сибирское отделение РАН; Институт систем информатики. Вып. 9: Формальные методы и модели информатики.— , 1991- |
|---|---|
| Awduron Eraill: | |
| Crynodeb: | В 9-й выпуск «Формальные методы и модели информатики» серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений. |
| Iaith: | Rwseg |
| Cyhoeddwyd: |
2004
|
| Pynciau: | |
| Fformat: | Llyfr |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=78160 |
| Disgrifiad Corfforoll: | 359 с. ил. |
|---|---|
| Crynodeb: | В 9-й выпуск «Формальные методы и модели информатики» серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений. |
| ISBN: | 5769207000 |