登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 6 / 6
下一頁
Formalna verifikacija sistemov
作者
Zmago Brezočnik / Bogomir Horvat / Tatjana Kapus / Bogdan Dugonik / Gabrijela Dreo-Rodošek / Filip Samo Balan / Janez Stergar / Rudolf Babič / Mitja Solar / Robert Meolic / Marjan Štrakl / Aleš Časar
出版
1996
ISBN
OCLC:455955566
Verifikacija sinhronih vezij
作者
Marjan Štrakl / Bogomir Horvat / Gorazd Lešnjak / Zmago Brezočnik
出版
1992
ISBN
OCLC:450784187
Mladi za napredek Maribora, 3. srečanje
作者
Marjan Štrakl / Slavko Nekrep
出版
1986
ISBN
OCLC:439442069
Funkcijski generator
作者
Marjan Štrakl / Gregor Pokeržnik / Bojan Gulič
出版
1987
ISBN
OCLC:438949976
Vključitev jezika VHDL v programski paket za forma...
作者
Marjan Štrakl / Bogomir Horvat / Zmago Brezočnik
出版
1996
ISBN
OCLC:456221953
COST 247 "Verification and validation methods for ...
作者
Zmago Brezočnik / Tatjana Kapus / Bogomir Horvat / Monika Kapus-Kolar / Marjeta Frey-Pučko / Marjan Štrakl / Aleš Časar / Robert Meolic / Bogdan Dugonik
出版
1998
ISBN
OCLC:439961851