На пути к верификации С-программ (Запись № 1348558)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 01740nam1a2200385 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ | |
| контрольное поле | RU\NLR\bibl\235774 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ | |
| контрольное поле | 20260409074753.0 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (NLR Aleph) 000231698 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ | |
| Данные общей обработки | 20260201 rusy50 |
| 101 0# - ЯЗЫК РЕСУРСА | |
| Язык текста, звукозаписи и т.д. | русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА | |
| Страна публикации | Российская Федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ | |
| Кодированные данные о монографическом текстовом документе | y ||||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ | |
| Основное заглавие | На пути к верификации С-программ |
| Параллельное заглавие | Towards the verification of C programs |
| Первые сведения об ответственности | В.А. Непомнящий, И.С. Ануреев, И.Н. Михайлов, А.В. Промский |
| Язык параллельного заглавия | английский |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. | |
| Место издания, распространения и т.д. | Новосибирск |
| Имя издателя, распространителя и т. д. | Эмари |
| Дата издания, распространения и т.д. | 2001 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА | |
| Размеры | 20 |
| 225 1# - СЕРИЯ | |
| Основное заглавие серии | Препринт |
| Сведения об ответственности | Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова |
| Обозначение тома | ... |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ | |
| Текст примечания | Авт. также на англ. яз.: V.A. Nepomniaschy, L.S. Anureev, I.N. Michailov, A.V. Promsky |
| 463 #0 - УРОВЕНЬ ФИЗИЧЕСКОЙ ЕДИНИЦЫ | |
| Встроенное поле | 001225818 |
| 463 #0 - УРОВЕНЬ ФИЗИЧЕСКОЙ ЕДИНИЦЫ | |
| Встроенное поле | 001243249 |
| 463 #0 - УРОВЕНЬ ФИЗИЧЕСКОЙ ЕДИНИЦЫ | |
| Встроенное поле | 001387422 |
| 510 0# - ПАРАЛЛЕЛЬНОЕ ЗАГЛАВИЕ | |
| Параллельное заглавие | Towards the verification of C programs |
| Язык заглавия | английский |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Программы (компьют.) |
| Тематический подзаголовок | Верификация |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\661327565 |
| Системный номер авторитетной/нормативной записи | 2209898 |
| 606 0# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | C, язык программирования |
| Системный номер авторитетной/нормативной записи | 1672093 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\661040545 |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | З973.2-018-07 |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Непомнящий |
| Часть имени, кроме начального элемента ввода | В. А. |
| Код отношения | Автор |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ | |
| Код отношения | Автор |
| Материалы, к которым относится поле | rus |
| Графика поля | Кириллица |
| Начальный элемент ввода | Ануреев |
| Часть имени, кроме начального элемента ввода | И. С. |
| Расширение инициалов личного имени | Игорь Сергеевич |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\7744383 |
| Системный номер авторитетной/нормативной записи | 27324 |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Михайлов |
| Часть имени, кроме начального элемента ввода | И. Н. |
| Код отношения | Автор |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ | |
| Код отношения | Автор |
| Материалы, к которым относится поле | rus |
| Графика поля | Кириллица |
| Начальный элемент ввода | Промский |
| Часть имени, кроме начального элемента ввода | А. В. |
| Расширение инициалов личного имени | Алексей Владимирович |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\7756503 |
| Системный номер авторитетной/нормативной записи | 39435 |
| 801 #0 - ИСТОЧНИК ЗАПИСИ | |
| Страна | Российская Федерация |
| Организация | NLR |
| Дата составления | 20020311 |
| Правила каталогизации | PSBO |
| 801 #1 - ИСТОЧНИК ЗАПИСИ | |
| Страна | Российская Федерация |
| Организация | NLR |
| Дата составления | 20020311 |
| 852 ## - МЕСТОНАХОЖДЕНИЕ И ШИФР ХРАНЕНИЯ | |
| Идентификатор организации | NLR |
| Шифр хранения (Call Number) | 2002-4/1927 |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) | |
| Тип экземпляра АБИС | Книга |
| 980 ## - КОЛЛЕКЦИЯ | |
| Название коллекции | Национальная библиография |
Нет доступных экземпляров.