Подробности
| 000 -МАРКЕР |
|---|
| контрольное поле |
02109nam0a2200385 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ |
|---|
| контрольное поле |
RU\NLR\bibl\1117734 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ |
|---|
| контрольное поле |
20250615063926.0 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ |
|---|
| Код страны |
Российская Федерация |
| Номер |
2007-45521 |
| Номер Листа государственной регистраци |
2428 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
|---|
| Идентификатор записи |
(NLR Aleph) 001104731 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ |
|---|
| Данные общей обработки |
20070815d2007 |||y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА |
|---|
| Язык текста, звукозаписи и т.д. |
русский |
| Язык резюме |
английский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА |
|---|
| Страна публикации |
Российская Федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ |
|---|
| Кодированные данные о монографическом текстовом документе |
a ||||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ |
|---|
| Основное заглавие |
Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL |
| Параллельное заглавие |
Simulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL |
| Первые сведения об ответственности |
В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов, М.В. Тюрюшкин |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. |
|---|
| Место издания, распространения и т.д. |
Новосибирск |
| Имя издателя, распространителя и т. д. |
Институт систем информатики |
| Дата издания, распространения и т.д. |
2007 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА |
|---|
| Специфическое обозначение материала и объем |
69 с. |
| Другие сведения о физической характеристике |
ил. |
| Размеры |
21 |
| 225 1# - СЕРИЯ |
|---|
| Основное заглавие серии |
Препринт |
| Сведения об ответственности |
Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова |
| Обозначение тома |
142 |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ |
|---|
| Текст примечания |
Рез. на англ. яз. |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
|---|
| Текст примечания |
Библиогр.: с. 68-69 (23 назв.) |
| 510 0# - ПАРАЛЛЕЛЬНОЕ ЗАГЛАВИЕ |
|---|
| Параллельное заглавие |
Simulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL |
| Язык заглавия |
английский |
| 606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
Распределенные вычислительные системы |
| Тематический подзаголовок |
Программирование |
| Системный номер авторитетной/нормативной записи |
2338249 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\auth\661397842 |
| 606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
SDL, язык программирования |
| Системный номер авторитетной/нормативной записи |
1127814 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\auth\66128130 |
| 606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
REAL, язык программирования |
| Системный номер авторитетной/нормативной записи |
1828623 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\auth\66826609 |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
З973.202-018 |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Непомнящий |
| Часть имени, кроме начального элемента ввода |
В. А. |
| Расширение инициалов личного имени |
Валерий Александрович |
| Код отношения |
Автор |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Бодин |
| Часть имени, кроме начального элемента ввода |
Е. В. |
| Расширение инициалов личного имени |
Евгений Викторович |
| Код отношения |
Автор |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Веретнов |
| Часть имени, кроме начального элемента ввода |
С. О. |
| Код отношения |
Автор |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Тюрюшкин |
| Часть имени, кроме начального элемента ввода |
М. В. |
| Код отношения |
Автор |
| 801 #0 - ИСТОЧНИК ЗАПИСИ |
|---|
| Страна |
Российская Федерация |
| Организация |
NLR |
| Дата составления |
20070815 |
| Правила каталогизации |
RCR |
| 801 #1 - ИСТОЧНИК ЗАПИСИ |
|---|
| Страна |
Российская Федерация |
| Организация |
NLR |
| Дата составления |
20070815 |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) |
|---|
| Тип экземпляра АБИС |
Книга |
| 980 ## - КОЛЛЕКЦИЯ |
|---|
| Название коллекции |
Национальная библиография |