Fakultet tehničkih nauka, Novi Sad (FTNNS)
  • Формална верификација софтверске трансакционе меморије засноване на временским аутоматима : докторска дисертација
    Кордић, Бранислав, 1989- = Kordić, Branislav, 1989-
    Vrsta građe - disertacija
    Izdavanje i proizvodnja - Нови Сад : [Б. Кордић], 2019
    Jezik - srpski
    ISBN -
    COBISS.SR-ID - 34688009

Signatura – lokacija, inventarski br. ... Status primerka Rezervacija
Magacin
DR КОРДИЋ, Б. Формална верифи
IN: 600001140
Magacin
DR КОРДИЋ, Б. Формална верифи
IN: 600001140
slobodno - za čitaonicu
loading ...
loading ...
loading ...