Препринты ИПМ им.М.В.Келдыша. - 1983. № 84. Алгоритмы частичной верификации программы на ЯСП и их оценки (Запись № 26575)

Подробности
000 -МАРКЕР
контрольное поле 01206nam a22002657c 4500
001 - КОНТРОЛЬНЫЙ НОМЕР ЗАПИСИ
контрольное поле 000026575
003 - ПРИНАДЛЕЖНОСТЬ КОНТРОЛЬНОГО НОМЕРА
контрольное поле RuMoIPM
005 - ДАТА И ВРЕМЯ ПОСЛЕДНЕЙ ТРАНЗАКЦИИ
контрольное поле 20251117175201.0
008 - ЭЛЕМЕНТЫ ДАННЫХ ФИКСИРОВАННОЙ ДЛИНЫ
контрольное поле 251105s1983 ru ||||| |||| 00| 0 rus d
022 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР СЕРИАЛЬНОГО ИЗДАНИЯ (ISSN)
международный стандартный номер сериального издания 2071-2898 (Print)
022 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР СЕРИАЛЬНОГО ИЗДАНИЯ (ISSN)
международный стандартный номер сериального издания 2071-2901 (Online)
035 ## - КОНТРОЛЬНЫЙ НОМЕР СИСТЕМЫ
контрольный номер системы biblionumber
040 ## - ОРГАНИЗАЦИЯ-СОЗДАТЕЛЬ ЗАПИСИ
организация-создатель исходной библиографической записи RuMoIPM
язык каталогизации rus
правила каталогизации rcr
041 ## - КОД ЯЗЫКА
код языка текста Русский
044 ## - КОД СТРАНЫ ПУБЛИКАЦИИ/ИЗГОТОВЛЕНИЯ
MARC код страны публикации/изготовления Российская Федерация
245 ## - ОБЛАСТЬ ЗАГЛАВИЯ И СВЕДЕНИЙ ОБ ОТВЕТСТВЕННОСТИ
заглавие № 84. Алгоритмы частичной верификации программы на ЯСП и их оценки
сведения об ответственности и т. д К. Н. Ефимкин, И. Б. Задыхайло, С. П. Пименов, А. А. Шарипбаев
260 ## - ОБЛАСТЬ ВЫХОДНЫХ ДАННЫХ
дата издания, распространения и т. д 1983
490 0# - ОБЛАСТЬ СЕРИИ
область серии Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
700 1# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК
имя лица Ефимкин, Кирилл Николаевич
700 1# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК
имя лица Задыхайло, И. Б.
700 1# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК
имя лица Пименов, С. П.
700 1# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК
имя лица Шарипбаев, А. А.
773 08 - ПОИСКОВЫЙ ПРИЗНАК НА ОСНОВНУЮ ЕДИНИЦУ, СОСТАВНОЙ ЧАСТЬЮ КОТОРОЙ ЯВЛЯЕТСЯ ОПИСЫВАЕМЫЙ МАТЕРИАЛ
контрольный номер связываемой записи 000024331
контрольное подполе nnas
место издания, издательство/издатель и дата публикации Москва: ИПМ им. М. В. Келдыша РАН
заглавие Препринты ИПМ им.М.В.Келдыша. - 1983
ISSN 2071-2898 (Print)
942 ## - ДАННЫЕ О ЗАПИСИ (KOHA)
Тип экземпляра (KOHA) Препринт

Нет доступных экземпляров.