Citation link:
Title:
Анализ и извличане на компютърни програми (модели и методи за верификация на свойства на нерелационни бази от данни) : Автореферат / Калин Георгиев.
Creator:
Николов, Калин Георгиев
Date:
2013 [issued] 2013.
Description:
Кор. опис.; Автореферат на дисертация за присъждане на образователната и науч. степен "Доктор" по науч. спец. 01.01.12 "Информатика" СУ "Св. Климент Охридски" 2013; Електронно копие [София Софийски университет "Св. Климент Охридски" 2012]
Subject:
Бази данни.; Програмиране.
*** *** ***
041:
bul
044:
bu
100:
Николов, Калин Георгиев
245:
Анализ и извличане на компютърни програми (модели и методи за верификация на свойства на нерелационни бази от данни) :| Автореферат /| Калин Георгиев.
256:
Текст и изображения в електронен вид (1 PDF файл : 495 KB)
260:
София,| 2013.
300:
31 с. ;| 21 см.
500:
Кор. опис.
502:
Автореферат на дисертация| за присъждане на образователната и науч. степен "Доктор" по науч. спец. 01.01.12 "Информатика"| СУ "Св. Климент Охридски"| 2013
506:
Дигиталният обект е предназначен само за лично ползване
533:
Електронно копие| [София| Софийски университет "Св. Климент Охридски"| 2012]
650:
Бази данни.| Програмиране.
