Fragments of formal verification of the Solidity smart contracts (Record no. 314501)

MARC details
000 -Маркер запису
Контрольне поле сталої довжини 00763nam a22001697a 4500
040 ## - Джерело каталогіз.
Код мови каталог. ukr
041 0# - Код мови видання
Код мови тексту eng
100 1# - Автор
Автор Shumakov, Maksym
245 10 - Назва
Назва Fragments of formal verification of the Solidity smart contracts
Відповідальність Maksym Shumakov ; supervisor : Vasyl Lenko
246 01 - Інша форма назви
Інша форма назви Фрагменти формальної верифікації розумних контрактів Solidity
Відповідальність Шумаков Максим Геннадійович
260 ## - Вихідні дані
Місце видання Lviv
Видавництво [s.n.]
Дата видання 2022
300 ## - Фізичний опис
Обсяг ix, 26 арк.
Ілл./тип відтвор. іл.
Розміри 30 см
502 ## - Примітка про дисертацію
Примітка про дисертацію Бакалаврська робота
504 ## - Бібліографія
Бібліографія Містить бібліографію
710 2# - Інші організації
Організ./юрисдикція Ukrainian Catholic University
Інші рівні Department of computer sciences
-- Faculty of applied sciences
942 ## - Додаткові дані (Коха)
Код системи класифікації для розстановки фонду Класифікація Бібліотеки Конгресу (КБК)
Тип одиниці (рівень запису) Книга
Holdings
Статус вилучення Статус втрати/відсутності Джерело класифікації чи схема поличного розташування Стан пошкодження Тип обігу (не для випожичання) Джерельне місце зберігання примірника (домашній підрозділ) Місце тимчасового зберігання чи видачі (підрозділ зберігання) Дата надходження Джерело надходження (постачальник) Інвентарний номер Видач загалом Штрих-код Дата, коли останній раз бачено примірник Дата, для якої чинна ціна заміни Тип одиниці (рівень примірника)
    Класифікація Бібліотеки Конгресу (КБК)     Студентські роботи ЦШ Студентські роботи ЦШ 29.09.2022 Дипломні роботи 388286   388286 29.09.2022 29.09.2022 Книга