Верификация автоматных программ (Запись № 3779)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 01346nam a2200265 c 4500 |
| 001 - КОНТРОЛЬНЫЙ НОМЕР ЗАПИСИ | |
| контрольное поле | 000003779 |
| 003 - ПРИНАДЛЕЖНОСТЬ КОНТРОЛЬНОГО НОМЕРА | |
| контрольное поле | RuMoIPM |
| 005 - ДАТА И ВРЕМЯ ПОСЛЕДНЕЙ ТРАНЗАКЦИИ | |
| контрольное поле | 20220507230318.0 |
| 008 - ЭЛЕМЕНТЫ ДАННЫХ ФИКСИРОВАННОЙ ДЛИНЫ | |
| контрольное поле | 110817s2011 ru a||p|||||||||||||rus d |
| 020 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР КНИГИ (ISBN) | |
| международный стандартный номер книги | 978-5-02-038160-5 |
| 035 ## - КОНТРОЛЬНЫЙ НОМЕР СИСТЕМЫ | |
| контрольный номер системы | (RuMoIPM Bibliobus) 003993 |
| 040 ## - ОРГАНИЗАЦИЯ-СОЗДАТЕЛЬ ЗАПИСИ | |
| организация-создатель исходной библиографической записи | RuMoIPM |
| язык каталогизации | rus |
| правила каталогизации | rcr |
| 080 ## - ИНДЕКС УНИВЕРСАЛЬНОЙ ДЕСЯТИЧНОЙ КЛАССИФИКАЦИИ | |
| индекс Универсальной десятичной классификации | 004.415.5 |
| 245 00 - ОБЛАСТЬ ЗАГЛАВИЯ И СВЕДЕНИЙ ОБ ОТВЕТСТВЕННОСТИ | |
| заглавие | Верификация автоматных программ |
| сведения об ответственности и т. д | Вельдер Сергей Эдуардович [и др.]; С.-Петерб. гос. ун-т информ. технологий, механики и оптики |
| 260 ## - ОБЛАСТЬ ВЫХОДНЫХ ДАННЫХ | |
| место публикации, распространения, изготовления и т. д | Санкт-Петербург |
| издательство, издатель, распространитель и т. д | Наука |
| дата издания, распространения и т. д | 2011 |
| 300 ## - ОБЛАСТЬ КОЛИЧЕСТВЕННОЙ ХАРАКТЕРИСТИКИ | |
| объём | 242 с. |
| прочее | ил. |
| 504 ## - ПРИМЕЧАНИЕ О НАЛИЧИИ БИБЛИОГРАФИЧЕСКИХ ПЕРЕЧНЕЙ И ССЫЛОК | |
| текст примечания | Библиогр.: с. 231-239. |
| 504 ## - ПРИМЕЧАНИЕ О НАЛИЧИИ БИБЛИОГРАФИЧЕСКИХ ПЕРЕЧНЕЙ И ССЫЛОК | |
| текст примечания | Алф. указ.: с. 240-242 |
| 700 0# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК | |
| имя лица | Вельдер, Сергей Эдуардович |
| 700 0# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК | |
| имя лица | Лукин, М. А. |
| 700 0# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК | |
| имя лица | Шалыто, А. А. |
| 700 0# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК | |
| имя лица | Яминов, Б. Р. |
| 887 ## - Данные не-MARC | |
| Содержание | Верификация автоматных программ / Вельдер Сергей Эдуардович [и др.]; С.-Петерб. гос. ун-т информ. технологий, механики и оптики. — СПб. : Наука, 2011. — 242 с. : ил. — Библиогр.: с. 231-239. Алф. указ.: с. 240-242. — ISBN 978-5-02-038160-5. |
| Источник данных | Bibliobus |
| 942 ## - ДАННЫЕ О ЗАПИСИ (KOHA) | |
| Тип экземпляра (KOHA) | Книга |
| Статус выдачи | Библиотека держатель | Текущая библиотека | Дата поступления | Шифр хранения | Тип экземпляра |
|---|---|---|---|---|---|
| Институт прикладной математики им. М.В. Келдыша | Институт прикладной математики им. М.В. Келдыша | 01.06.2016 | 004.4/В-31 | Книга |