Специализатор CILPE: доказательство корректности (Запись № 1381597)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 01282nam0a2200337 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ | |
| контрольное поле | RU\NLR\bibl\1435625 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ | |
| контрольное поле | 20250615223101.0 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ | |
| Код страны | российская федерация |
| Номер | 2009-74147 |
| Номер Листа государственной регистраци | 4617 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ | |
| Данные общей обработки | 20090914d2009 |||y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА | |
| Язык текста, звукозаписи и т.д. | русский |
| Язык резюме | английский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА | |
| Страна публикации | российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ | |
| Кодированные данные о монографическом текстовом документе | a ||||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ | |
| Основное заглавие | Специализатор CILPE: доказательство корректности |
| Первые сведения об ответственности | Ю.А. Климов |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. | |
| Место издания, распространения и т.д. | Москва |
| Имя издателя, распространителя и т. д. | Институт прикладной математики |
| Дата издания, распространения и т.д. | 2009 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА | |
| Специфическое обозначение материала и объем | 32 с. |
| Другие сведения о физической характеристике | ил. |
| Размеры | 20 |
| 225 1# - СЕРИЯ | |
| Основное заглавие серии | Препринт |
| Сведения об ответственности | Ин-т прикл. математики им. М.В. Келдыша Рос. акад. наук |
| Обозначение тома | N° 33 за 2009 г. |
| ISSN серии | 2071-2898 |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ | |
| Текст примечания | Рез. на англ. яз. |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Библиогр.: с. 31-32 |
| 606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | CILPE, специализатор |
| Код системы | nlr_sh2 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\661582767 |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | З973.2-018-5-05,0 |
| Код системы | rubbk |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | З973.2-018 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Климов |
| Часть имени, кроме начального элемента ввода | Ю. А. |
| Расширение инициалов личного имени | Юрий Андреевич |
| Код отношения | Автор |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) | |
| Тип экземпляра АБИС | Книга |
| 983 0# - | |
| -- | РГ ЧОВ |
Нет доступных экземпляров.