Приказ селектованог записа
| Теза или дисертација Аутор: Kordić Branislav Оригинални језик наслова: Српски Оригинални наслов: Формална верификација софтверске трансакционе меморије засноване на временским аутоматима Врста тезе/дисертације: Докторска дисертација Институција: Fakultet tehničkih nauka u Novom Sadu, Univerzitet u Novom Sadu Година: 2020 Преузми:  |
| Нема записа зависних од селектованог записа |