Вып. 9: Формальные методы и модели информатики; Системная информатика
| Parent link: | Системная информатика/ Сибирское отделение РАН; Институт систем информатики. Вып. 9: Формальные методы и модели информатики.— , 1991- |
|---|---|
| Other Authors: | |
| Summary: | В 9-й выпуск «Формальные методы и модели информатики» серии «Системная информатика» вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений. |
| Language: | Russian |
| Published: |
2004
|
| Subjects: | |
| Format: | Book |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=78160 |