| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | RU/IS/BASE/202840368 | ||
| 005 | Дата корректировки | 20220801133049.5 | ||
| 040 | b | Код языка каталог. | rus | |
| 041 | a | Код языка текста | rus | |
| 080 | a | Индекс УДК | 004.42 | |
| 084 | a | Индекс другой классификации/Индекс ББК | 32.973.202-018.2 | |
| 090 | a | Полочн. индекс | 681.3 | |
| c | Каталожный индекс | 681.3.06 | ||
| x | Авторский знак | А65 | ||
| 097 | b | Оператор | 11 | |
| 100 | a | Автор | Андерсон Р. | |
| 245 | a | Заглавие | Доказательство правильности программ | |
| c | Ответственность | пер. с англ. ; под ред. Д. Б. Подшивалова | ||
| 260 | a | Место издания | М. | |
| b | Издательство | Мир | ||
| c | Дата издания | 1982 | ||
| 300 | a | Объем | 164 с. | |
| 510 | a | Примечание о ссылках | Книги и методические пособия | |
| 650 | a | Основная рубрика | 50.41 Программное обеспечение вычислительных машин, комплексов и сетей | |
| x | Основная подрубрика | 50.41.17 Системное программное обеспечение | ||
| 653 | a | Ключевые слова | программы (выч. техника); программирование | |
| 901 | t | Тип документа | m |