Анализ и извличане на компютърни програми (модели и методи за верификация на свойства на нерелационни бази от данни) : Автореферат /
This research is about computer programs which generate computer programs and computer programs which analyse the behavior of computer programs. Computer program synthesis and analysis is considered in the context of its possible application for a specific problem in the field of non-relational data...
| Основен автор: | Георгиев, Калин 1981- |
|---|---|
| Други автори: | Georgiev, Kalin 1981- |
| Формат: | Книга |
| Език: | Bulgarian |
| Публикувано: |
София,
2013.
|
| Предмети: | |
| Онлайн достъп: |
Пълен текст |
| Онлайн достъп от Университетска библиотека "Св. Климент Охридски": |
|---|
| Налични СУ-УБ Централна библиотека | Сигнатура: |
II352403 |
|---|