Подробности
| 000 -МАРКЕР |
|---|
| контрольное поле |
01778nam0a2200385 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ |
|---|
| контрольное поле |
RU\NLR\BIBL_A\010353284 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ |
|---|
| контрольное поле |
20260409074754.0 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ |
|---|
| Код страны |
российская федерация |
| Номер |
14-16842 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
|---|
| Идентификатор записи |
(NLR Aleph) 010353284 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
|---|
| Идентификатор записи |
(NILC)RuMoRGB-006758959 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ |
|---|
| Данные общей обработки |
20140505d2013 u y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА |
|---|
| Язык текста, звукозаписи и т.д. |
русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА |
|---|
| Страна публикации |
российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ |
|---|
| Кодированные данные о монографическом текстовом документе |
y|||z|||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ |
|---|
| Основное заглавие |
Концептуальный базис трехуровневого метода верификации С# программ |
| Сведения, относящиеся к заглавию |
Conceptual basis of three-level method of C# program verification |
| Первые сведения об ответственности |
И. С. Ануреев |
| Язык параллельного заглавия |
английский |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. |
|---|
| Место издания, распространения и т.д. |
Новосибирск |
| Имя издателя, распространителя и т. д. |
Ин-т систем информатики |
| Дата издания, распространения и т.д. |
2013 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА |
|---|
| Специфическое обозначение материала и объем |
42 с. |
| Размеры |
21 |
| 225 2# - СЕРИЯ |
|---|
| Основное заглавие серии |
Препринт |
| Сведения об ответственности |
Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова |
| Обозначение тома |
170 |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ |
|---|
| Текст примечания |
Авт. также на англ. яз.: Anureev I.S. |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
|---|
| Текст примечания |
Библиогр.: с. 42 (9 назв.) |
| 510 1# - ПАРАЛЛЕЛЬНОЕ ЗАГЛАВИЕ |
|---|
| Связь между полями |
я01790 |
| Параллельное заглавие |
Conceptual basis of three-level method of C# program verification |
| Язык заглавия |
английский |
| 606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
C#, язык программирования |
| Системный номер авторитетной/нормативной записи |
2206739 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\661325801 |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
Программы (компьют.) |
| Тематический подзаголовок |
Верификация |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\661327565 |
| Системный номер авторитетной/нормативной записи |
2209898 |
| 675 ## - УНИВЕРСАЛЬНАЯ ДЕСЯТИЧНАЯ КЛАССИФИКАЦИЯ (UDC/УДК) |
|---|
| Индекс |
004.438 |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
З973.2-018-07 |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
З973.23-018.1 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Материалы, к которым относится поле |
rus |
| Графика поля |
Кириллица |
| Начальный элемент ввода |
Ануреев |
| Часть имени, кроме начального элемента ввода |
И. С. |
| Расширение инициалов личного имени |
Игорь Сергеевич |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\7744383 |
| Системный номер авторитетной/нормативной записи |
27324 |
| 790 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ФОРМА |
|---|
| Код отношения |
Автор |
| Материалы, к которым относится поле |
rus |
| Графика поля |
Латинская |
| Начальный элемент ввода |
Anureev |
| Часть имени, кроме начального элемента ввода |
I. S. |
| Расширение инициалов личного имени |
Igor' Sergeevič |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\7744387 |
| Системный номер авторитетной/нормативной записи |
27328 |
| 801 #0 - ИСТОЧНИК ЗАПИСИ |
|---|
| Страна |
российская федерация |
| Организация |
RuMoRKP |
| Дата составления |
20140306 |
| Правила каталогизации |
RCR |
| 801 #2 - ИСТОЧНИК ЗАПИСИ |
|---|
| Страна |
российская федерация |
| Организация |
РГБ |
| Дата составления |
20140404 |
| Правила каталогизации |
rcr |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) |
|---|
| Тип экземпляра АБИС |
Книга |
| 980 ## - КОЛЛЕКЦИЯ |
|---|
| Название коллекции |
Национальная библиография |