Подробности
| 000 -МАРКЕР |
| контрольное поле |
01698nam0a2200337 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ |
| контрольное поле |
RU\NLR\BIBL_A\010478381 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ |
| контрольное поле |
20260409073244.0 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ |
| Код страны |
российская федерация |
| Номер |
2014-57927 |
| Номер Листа государственной регистраци |
3512 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
| Идентификатор записи |
(NLR Aleph) 010478381 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
| Идентификатор записи |
(NILC)RuMoRGB-007531368 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ |
| Данные общей обработки |
20141017d2014 k y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА |
| Язык текста, звукозаписи и т.д. |
английский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА |
| Страна публикации |
российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ |
| Кодированные данные о монографическом текстовом документе |
a|||z|||100yy |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ |
| Основное заглавие |
Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 |
| Сведения, относящиеся к заглавию |
[affiliated with] 9th International computer science symposium in Russia |
| -- |
proceedings |
| Первые сведения об ответственности |
Valery Nepomniaschy, Valery Sokolov (eds.) |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. |
| Место издания, распространения и т.д. |
Moscow |
| Имя издателя, распространителя и т. д. |
[s. n.] |
| Дата издания, распространения и т.д. |
2014 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА |
| Специфическое обозначение материала и объем |
IV, 78 с. |
| Другие сведения о физической характеристике |
ил. |
| Размеры |
29 |
| 313 ## - ПРИМЕЧАНИЯ, ОТНОСЯЩИЕСЯ К ТЕМАТИЧЕСКОМУ ДОСТУПУ |
| Текст примечания |
4й семинар 2013 |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
| Текст примечания |
Библиогр. в конце докл. |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
| Наименование темы |
Программирование (компьют.) |
| Формальный подзаголовок |
Съезды, совещания и т.п |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\661257252 |
| Системный номер авторитетной/нормативной записи |
2081275 |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
| Индекс |
З973.2-018я431 |
| 702 #1 - ИМЯ ЛИЦА - ВТОРИЧНАЯ ОТВЕТСТВЕННОСТЬ |
| Код отношения |
Редактор |
| Материалы, к которым относится поле |
rus |
| Графика поля |
Латинская |
| Начальный элемент ввода |
Nepomnjaščij |
| Часть имени, кроме начального элемента ввода |
V. A. |
| Даты |
1939- |
| Расширение инициалов личного имени |
Valerij Aleksandrovič |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\7771092 |
| Системный номер авторитетной/нормативной записи |
54020 |
| 710 12 - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ |
| Материалы, к которым относится поле |
eng |
| Начальный элемент ввода |
"Program semantics, specification and verification: theory and application", workshop |
| Порядковый номер временной организации и / или порядковый номер ее части |
5 |
| Дата проведения временной организации |
2014 |
| Место проведения временной организации |
Moscow |
| Графика поля |
Латинская |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\880382781 |
| Системный номер авторитетной/нормативной записи |
431832 |
| 711 12 - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ |
| Материалы, к которым относится поле |
eng |
| Начальный элемент ввода |
"Computer science in Russia", international symposium |
| Порядковый номер временной организации и / или порядковый номер ее части |
9 |
| Дата проведения временной организации |
2014 |
| Место проведения временной организации |
Moscow |
| Графика поля |
Латинская |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\880382735 |
| Системный номер авторитетной/нормативной записи |
431737 |
| 801 #0 - ИСТОЧНИК ЗАПИСИ |
| Страна |
российская федерация |
| Организация |
РГБ |
| Дата составления |
20140807 |
| Правила каталогизации |
RCR |
| 830 ## - ОБЩЕЕ ПРИМЕЧАНИЕ, СОСТАВЛЕННОЕ КАТАЛОГИЗАТОРОМ |
| Текст примечания |
5-й семинар "Семантика программы, спецификация и верификация: теория и практика". |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) |
| Тип экземпляра АБИС |
Книга |
| 980 ## - КОЛЛЕКЦИЯ |
| Название коллекции |
Национальная библиография |