Зводны электронны каталог бібліятэк Магілёўскай вобласці
Прикладные методы верификации программ
[ простой вид ]
| 010 ## - ISBN | |
|---|---|
| Номер ISBN | 5-256-00156-6 |
| 100 ## - Данные общей обработки | |
| Данные общей обработки | 20150518d1988 u y0rusy50 ca |
| 101 0# - Язык документа | |
| Язык текста, звукозаписи и т.д. | rus |
| 102 ## - Страна публикации или производства | |
| Страна публикации | RU |
| 200 1# - Заглавие и сведения об ответственности | |
| Основное заглавие | Прикладные методы верификации программ |
| 210 ## - Публикация, распространение и т. д. | |
| Место издания, распространения и т.д. | Москва |
| Имя издателя, распространителя и т. д. | Радио и связь |
| Дата издания, распространения и т.д. | 1988 |
| 215 ## - Физическая характеристика | |
| Обозначение специфического вида материала и физической характеристики документа или его составных частей | 255, [1] с. |
| 606 ## - Наименование темы, используемое как предмет | |
| Начальный элемент ввода | ВЕРЫФІКАЦЫЯ |
| Идентификатор авторитетной / нормативной записи | BY-NLB-ar5129 |
| Код системы предметизации или авторитетного / нормативного файла | DVNLB |
| Начальный элемент ввода | ВЕРИФИКАЦИЯ |
| Идентификатор авторитетной / нормативной записи | BY-NLB-ar5128 |
| Код системы предметизации или авторитетного / нормативного файла | DVNLB |
| 610 0# - Неконтролируемые тематические термины | |
| Тематический термин | Верификация программы |
| 686 ## - Индексы других классификаций | |
| Индекс | 32.973.2-018 |
| Код классификации | rubbk |
| 690 ## - Локальный рубрикатор библиографирующего учреждения | |
| Начальный элемент ввода (или индекс) | 1 |
| Код системы | Base |
| Код библиографирующего учреждения | BY-MA0000 |
| Тематический подзаголовок (или индекс) | RSEK |
| 700 #1 - Имя лица - первичная ответственность | |
| Идентификатор авторитетной / нормативной записи | BY-SEK-251492 |
| Начальный элемент ввода | Непомнящий |
| Часть имени, кроме начального элемента ввода | В. А. |
| Полная форма имени и отчества лица | Валерий Александрович |
| 701 #1 - Имя лица — альтернативная ответственность | |
| Идентификатор авторитетной / нормативной записи | BY-CNB-ar938403 |
| Начальный элемент ввода | Рякин |
| Часть имени, кроме начального элемента ввода | О. М. |
| Полная форма имени и отчества лица | Олег Михайлович |
| 702 #1 - Имя лица — вторичная ответственность | |
| Идентификатор авторитетной / нормативной записи | BY-SEK-224115 |
| Начальный элемент ввода | Ершов |
| Часть имени, кроме начального элемента ввода | А. П. |
| Полная форма имени и отчества лица | Андрей Петрович |
| Дополнение к именам, кроме дат | математик |
| -- | программист |
| Даты | 1931—1988 |
| Код отношения | 340 |
| 801 #0 - Источник происхождения записи | |
| Страна | BY |
| Библиографирующее учреждение | |
| Дата составления | 20180316 |
| Правила каталогизации | psbo |
| 899 ## - Данные о местонахождении (устаревшее) | |
| Идентификатор организации | |
| Классификационная часть шифра | 32.973.2-018 |
| Часть, характеризующая документ | Н 53 |
| 999 ## - Лица – составители записи | |
| Дата выполнения работы | 20150518 |
Ваша корзина пуста.
Your list search is empty.
Your list search is empty.
Языки:
+375 17 293 27 57