| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | 180543636 | ||
| 005 | Дата корректировки | 20230112083506.1 | ||
| 020 | a | ISBN | 5-7692-0700-0 | |
| c | Цена, тираж | 180 р. | ||
| 080 | a | Индекс УДК | 681.3.06 | |
| 080 | a | Индекс УДК | 519.68 | |
| 090 | a | Полочн. индекс | 681 | |
| x | Авторский знак | С 40 | ||
| 091 | a | Индекс ББК (DOS) | Ч23 | |
| 097 | b | Оператор | *Ольга* | |
| 245 | 10 | a | Заглавие | Системная информатика |
| b | Продолж. заглавия | сборник научных трудов | ||
| c | Ответственность | под редакцией А.Г. Марчука | ||
| c | Ответственность | [РАН, Институт систем информатики им. А.П. Ершова] | ||
| n | Номер части/ раздела | Вып. 9 | ||
| p | Название части/ раздела | Формальные методы и модели информатики | ||
| 260 | a | Место издания | Новосибирск | |
| b | Издательство | Сибирское отделение РАН | ||
| c | Дата издания | 2004 | ||
| 300 | b | Иллюстрации/ тип воспроизводства | ил. | |
| a | Объем | 358 с. | ||
| 440 | _0 | a | Серия | Системная информатика |
| f | редкол. А.Г. Марчук (гл. ред.) [и др.] | |||
| 516 | 8_ | a | Прим. о типе комп. файла/ данных | Текст : непосредственный |
| 520 | 0_ | a | Аннотация | В 9-й выпуск "Формальные методы и модели информатики" серии "Системная информатика" вошли и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного языка; интервальным методам распространенния ограничений. |
| 653 | 0_ | a | Ключевые слова | Вычислительные процессы |
| a | Ключевые слова | Интервальные методы | ||
| a | Ключевые слова | Сети Петри | ||
| a | Ключевые слова | Язык C-light | ||
| 655 | a | Жанр/ форма (устаревшее) | Н | |
| 901 | t | Тип документа | m | |
| 905 | a | Дата создания записи | 23.10.05 | |
| 952 | e | Факультет | *ФИТ* | |
| 990 | h | N записи в КСУ для Б/У (DOS) | 71/2005 | |
| f | Даты поступлений (DOS) | 14.09.05 | ||
| g | Размещение заказа (DOS) | дар РГГУ | ||
| j | Количество экземпляров (DOS) | 2 |