Подробности
| 000 -МАРКЕР |
|---|
| контрольное поле |
02873nam0a2200469 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ |
|---|
| контрольное поле |
RU\NLR\BIBL_A\011849240 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ |
|---|
| контрольное поле |
20260409073252.0 |
| 010 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР КНИГИ (ISBN) |
|---|
| Номер (ISBN) |
978-5-8397-1149-5 |
| Тираж |
30 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ |
|---|
| Код страны |
российская федерация |
| Номер |
2018-73668 |
| Номер Листа государственной регистраци |
КН-П-5320 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
|---|
| Идентификатор записи |
(NLR Aleph) 011849240 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
|---|
| Идентификатор записи |
(RuMoRGB)009684575 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ |
|---|
| Данные общей обработки |
20181030d2018 k y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА |
|---|
| Язык текста, звукозаписи и т.д. |
английский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА |
|---|
| Страна публикации |
российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ |
|---|
| Кодированные данные о монографическом текстовом документе |
a z 110zy |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ |
|---|
| Основное заглавие |
9th workshop "Program semantics, specification and verification: theory and applications" dedicated to the memory of B. A. Trakhtenbrot, M. I. Dekhtyar, and M. K. Valiev (Yaroslavl, Russia, June 21-22, 2018) |
| Сведения, относящиеся к заглавию |
9th Workshop PSSV |
| -- |
proceedings |
| Первые сведения об ответственности |
Nikolay Shilov, Vladimir Zakharov (eds.) |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. |
|---|
| Место издания, распространения и т.д. |
Yaroslavl |
| Имя издателя, распространителя и т. д. |
Yaroslavl state univ. |
| Дата издания, распространения и т.д. |
2018 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА |
|---|
| Специфическое обозначение материала и объем |
97 с. |
| Другие сведения о физической характеристике |
ил. |
| Размеры |
24 |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ |
|---|
| Текст примечания |
В вып. дан.: 9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018) |
| 313 ## - ПРИМЕЧАНИЯ, ОТНОСЯЩИЕСЯ К ТЕМАТИЧЕСКОМУ ДОСТУПУ |
|---|
| Текст примечания |
По пред.изд. 2014г |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
|---|
| Текст примечания |
Библиогр. в конце докл. |
| 517 1# - ДРУГИЕ ВАРИАНТЫ ЗАГЛАВИЯ |
|---|
| Вариант заглавия |
9th Workshop PSSV |
| 517 1# - ДРУГИЕ ВАРИАНТЫ ЗАГЛАВИЯ |
|---|
| Вариант заглавия |
9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018) |
| Язык заглавия |
русский |
| 600 #1 - ИМЯ ЛИЦА КАК ПРЕДМЕТ |
|---|
| Начальный элемент ввода |
Трахтенброт |
| Часть имени, кроме начального элемента ввода |
Б.А. |
| Даты |
1921 - 2016 |
| Расширение инициалов личного имени |
Борис Авраамович |
| Системный номер авторитетной/нормативной записи |
2387947 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\6601644837 |
| 600 #1 - ИМЯ ЛИЦА КАК ПРЕДМЕТ |
|---|
| Начальный элемент ввода |
Дехтярь |
| Часть имени, кроме начального элемента ввода |
М. И. |
| Даты |
1946 - 2018 |
| Расширение инициалов личного имени |
Михаил Иосифович |
| Системный номер авторитетной/нормативной записи |
2387944 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\6601644835 |
| 600 #1 - ИМЯ ЛИЦА КАК ПРЕДМЕТ |
|---|
| Начальный элемент ввода |
Валиев |
| Часть имени, кроме начального элемента ввода |
М. К. |
| Даты |
1942 - 2018 |
| Расширение инициалов личного имени |
Марс Котдусович |
| Системный номер авторитетной/нормативной записи |
2387945 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\6601644836 |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
Программирование (компьют.) |
| Формальный подзаголовок |
Съезды, совещания и т.п |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\661257252 |
| Системный номер авторитетной/нормативной записи |
2081275 |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
З973.2-018я431(2) |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
З973.233д(2)Трахтенброт |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
З973.233д(2)Дехтярь |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
З973.233д(2)Валиев |
| 702 #1 - ИМЯ ЛИЦА - ВТОРИЧНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Trachtenbrot |
| Часть имени, кроме начального элемента ввода |
B.A. |
| Даты |
1921-2016 |
| Расширение инициалов личного имени |
Boris Avraamovič |
| Код отношения |
Прочие |
| 702 #1 - ИМЯ ЛИЦА - ВТОРИЧНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Dechtjar' |
| Часть имени, кроме начального элемента ввода |
M.I. |
| Даты |
1946-2018 |
| Расширение инициалов личного имени |
Michail Iosifovič |
| Код отношения |
Прочие |
| 702 #1 - ИМЯ ЛИЦА - ВТОРИЧНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Valiev |
| Часть имени, кроме начального элемента ввода |
M.K. |
| Даты |
1942-2018 |
| Расширение инициалов личного имени |
Mars Kotdusovič |
| Код отношения |
Прочие |
| 702 #1 - ИМЯ ЛИЦА - ВТОРИЧНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Šilov |
| Часть имени, кроме начального элемента ввода |
N. V. |
| Расширение инициалов личного имени |
Nikolaj Vjačeslavovič |
| Код отношения |
Редактор |
| 710 12 - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Графика поля |
Латинская |
| Материалы, к которым относится поле |
eng |
| Начальный элемент ввода |
"Program semantics, specification and verification: theory and application", workshop |
| Порядковый номер временной организации и / или порядковый номер ее части |
9 |
| Место проведения временной организации |
Moscow |
| Дата проведения временной организации |
2018 |
| Системный номер авторитетной/нормативной записи |
634499 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\AUTH\880487054 |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) |
|---|
| Тип экземпляра АБИС |
Книга |
| 980 ## - КОЛЛЕКЦИЯ |
|---|
| Название коллекции |
Национальная библиография |