| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | 8d670d85-6a2f-443a-9094-5d698ed4899c | ||
| 005 | Дата корректировки | 20150425140922.9 | ||
| 008 | Кодируемые данные | 031215 | ||
| 020 | a | ISBN | 5-94057-054-2 | |
| c | Цена, тираж | 77.00 | ||
| 020 | a | ISBN | 0-262-03270-8 | |
| 040 | a | Служба первич. каталог. | НБ ТвГУ | |
| 041 | 0_ | a | Код языка текста | rus |
| 080 | a | Индекс УДК | 004.052.4 | |
| 084 | a | Индекс другой классификации/Индекс ББК | З973.2-018-5-05 | |
| 090 | a | Полочн. индекс | З973.2 | |
| x | Авторский знак | К 47 | ||
| 097 | b | Оператор | Svetik | |
| 100 | 1_ | a | Автор | Кларк Эдмунд М. |
| c | Титул (звания) | мл. | ||
| q | Полное имя | Кларк Э.-М. | ||
| 245 | 00 | a | Заглавие | Верификация моделей программ: Model Checking |
| c | Ответственность | Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др.; Под ред. Р. Смелянского | ||
| 260 | 0_ | a | Место издания | Москва |
| b | Издательство | Московский центр непрерывного математического образования | ||
| c | Дата издания | 2002 | ||
| 300 | a | Объем | 416 с. | |
| b | Иллюстрации/ тип воспроизводства | ил. | ||
| c | Размеры | 21 см. | ||
| 500 | a | Примечание | Перевод изд.: Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron Pelrd. | |
| 504 | a | Библиография | Библиогр.: 376-399. | |
| a | Библиография | Предм. указ.: с.400-416. | ||
| 583 | a | Действие | Получение впервые 336 15.12.03 | |
| k | Исполнитель действия | Дар РГГУ | ||
| 650 | 04 | a | Основная рубрика | Компьютеры |
| x | Основная подрубрика | Программирование | ||
| 650 | 04 | a | Основная рубрика | Компьютерные программы |
| x | Основная подрубрика | Отладка | ||
| 650 | 04 | a | Основная рубрика | Вычислительная техника |
| 653 | 0_ | a | Ключевые слова | Программирование для ЭВМ |
| a | Ключевые слова | Компьютеры | ||
| a | Ключевые слова | Компьютерные программы | ||
| a | Ключевые слова | Отладка компьютерных программ | ||
| a | Ключевые слова | Верификация моделей программ | ||
| a | Ключевые слова | Проверка правильности программ | ||
| a | Ключевые слова | Проверка правильности на модели | ||
| a | Ключевые слова | Модели компьютерных программ | ||
| a | Ключевые слова | Model checking, проверка правильности на модели | ||
| 700 | 1_ | a | Другие авторы | Грамберг Орна |
| e | Роль лиц | авт. | ||
| q | Полное имя | Грамберг О. | ||
| 700 | 1_ | a | Другие авторы | Пелед Дорон |
| e | Роль лиц | авт. | ||
| q | Полное имя | Пелед Д. | ||
| 700 | 1_ | a | Другие авторы | Захаров В. |
| e | Роль лиц | пер. | ||
| 700 | 1_ | a | Другие авторы | Кончаков Р. |
| e | Роль лиц | пер. | ||
| 700 | 1_ | a | Другие авторы | Царьков Д. |
| e | Роль лиц | пер. | ||
| 700 | 1_ | a | Другие авторы | Смелянский Р. |
| e | Роль лиц | ред. | ||
| 852 | 41 | t | Порядковый номер экземпляра | 2 |
| p | Инвентарный номер | 773808 | ||
| p | Инвентарный номер | 773809 | ||
| 888 | a | Бесплатные | ||
| 901 | t | Тип документа | m | |
| 920 | a | Оператор | Ава | |
| 952 | p | 336.2003 77.00 1 773808 | ||
| p | 336.2003 77.00 1 773809 | |||
| c | Вид литературы | К рн | ||
| 954 | a | Дата поступления на обработку | 20031216 | |
| 999 | a | Подразделение 2 | Фил3 |