Формальные методы разработки критического программного обеспечения (Запис № 3043)

МАРК-запис
000 -LEADER
Маркер (контрольне поле довжиною 24 байти) 01065nam a2200277 i 4500
001 - КОНТРОЛЬНИЙ НОМЕР
Контрольне поле 3043
003 - ІДЕНТИФІКАТОР КОНТРОЛЬНОГО НОМЕРА
Контрольне поле UA-KpCNTU
005 - ДАТА І ЧАС ОСТАННЬОЇ УГОДИ
Контрольне поле 20250509213655.0
008 - ЕЛЕМЕНТИ ДАНИХ ФІКСОВАНОЇ ДОВЖИНИ - ЗАГАЛЬНА ІНФОРМАЦІЯ
Маркер (контрольне поле довжиною 24 байти) 100615s2008 unr|||||||||||00| |yrus d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Міжнародний стандартний книжковий номер (ISBN) 978-966-662-184-2
Terms of availability 45.00 грн.
040 ## - ДЖЕРЕЛО КАТАЛОГІЗАЦІЇ
Language of cataloging ukr
Transcribing agency ЦНТУ
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title rus
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. ХАИ,
Дата видання, розповсюдження тощо 2008
300 ## - PHYSICAL DESCRIPTION
Розмір 116 с.
490 ## - SERIES STATEMENT
Відомості про серію Tempus. Education and Culture
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Програмне забезпечення
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 ## - Додаткові дані (Коха)
Код системи класифікації для розстановки фонду Універсальна десяткова класифікація (УДК)
Тип одиниці Книги
Класифікаційна частина 32.973.2-018
Item part Т19
Suppress in OPAC
Фонди
Стан втрати/відсутності Код системи класифікації для розстановки фонду Стан пошкодження не для випозичання Джерельна бібліотека Поточна бібліотека Дата надходження Джерело надходження Ціна Інвентарний номер Total checkouts Повний шифр зберігання Штрих-код Дата коли останній раз бачено Ціна дійсна з Тип одиниці
  Універсальна десяткова класифікація (УДК)     CNTU Library Читальний зал № 1 (тех. л-ра) 09/05/2025 дарунки 45.00 359365   32.973.2-018/Т19 00000021736 09/05/2025 09/05/2025 Книги