Pregled bibliografske jedinice broj: 295035
The RTLH Language, Semantics and Program Verification
The RTLH Language, Semantics and Program Verification, 2005., doktorska disertacija, University of California, Irwine
CROSBI ID: 295035 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
The RTLH Language, Semantics and Program Verification
Autori
Zhao, Shiqing
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija
Fakultet
University of California
Mjesto
Irwine
Datum
Podatak o recenziji nije dostupan
Godina
2005
Stranica
100
Mentor
Gajski, D.D.
Ključne riječi
The RTLH Language; Semantics and Program Verification
Sažetak
The RTLH Language, Semantics and Program Verification
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Daniel Gajski
(autor)
