Current View
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:
Бази данни.| Програмиране.