Формальные методы разработки критического программного обеспечения : (Запис № 2291)
[ простий вигляд ]
| 000 -LEADER | |
|---|---|
| Маркер (контрольне поле довжиною 24 байти) | 00982nam a2200253 i 4500 |
| 001 - КОНТРОЛЬНИЙ НОМЕР | |
| Контрольне поле | 2291 |
| 003 - ІДЕНТИФІКАТОР КОНТРОЛЬНОГО НОМЕРА | |
| Контрольне поле | OSt |
| 005 - ДАТА І ЧАС ОСТАННЬОЇ УГОДИ | |
| Контрольне поле | 20250410094823.0 |
| 008 - ЕЛЕМЕНТИ ДАНИХ ФІКСОВАНОЇ ДОВЖИНИ - ЗАГАЛЬНА ІНФОРМАЦІЯ | |
| Маркер (контрольне поле довжиною 24 байти) | 100615s2009 unr||||||f||||00| |yrus d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Міжнародний стандартний книжковий номер (ISBN) | 978-966-96770-8-2 |
| Terms of availability | 50.00 грн. |
| 040 ## - ДЖЕРЕЛО КАТАЛОГІЗАЦІЇ | |
| Language of cataloging | ukr |
| Transcribing agency | ЦНТУ |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 32.973.2-018 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Ім’я особи | Тарасюк, О. М. |
| 245 00 - TITLE STATEMENT | |
| Назва | Формальные методы разработки критического программного обеспечения : |
| Remainder of title | лекц. материал / |
| Statement of responsibility, etc. | О. М. Тарасюк, А. В. Горбенко ; под ред. В. С. Харченко |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Харьков : |
| Name of publisher, distributor, etc. | ХАИ, |
| Дата видання, розповсюдження тощо | 2009 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Розмір | 214 с. |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Назва | Tempus. Education and Culture |
| 650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Програмне забезпечення |
| 700 1# - ДОДАТКОВИЙ ОПИС — ІМ’Я ОСОБИ | |
| Ім’я особи | Горбенко, А. В. |
| 700 1# - ДОДАТКОВИЙ ОПИС — ІМ’Я ОСОБИ | |
| Ім’я особи | Харченко, В. С. |
| 852 ## - РОЗТАШУВАННЯ | |
| Класифікаційна частина | 32.973.2-018 |
| Item part | Т19 |
| 942 ## - Додаткові дані (Коха) | |
| Код системи класифікації для розстановки фонду | Універсальна десяткова класифікація (УДК) |
| Suppress in OPAC | |
| Тип одиниці | Книги |
| Класифікаційна частина | 32.973.2-018 |
| Item part | Т19 |
| Стан втрати/відсутності | Код системи класифікації для розстановки фонду | Стан пошкодження | не для випозичання | Джерельна бібліотека | Поточна бібліотека | Дата надходження | Джерело надходження | Ціна | Інвентарний номер | Total checkouts | Повний шифр зберігання | Штрих-код | Дата коли останній раз бачено | Ціна дійсна з | Тип одиниці |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Універсальна десяткова класифікація (УДК) | CNTU Library | Читальний зал № 1 (тех. л-ра) | 10/04/2025 | дарунки | 50.00 | 359366 | 32.973.2-018/Т19 | 00000021737 | 10/04/2025 | 10/04/2025 | Книги |