登入選單
Google圖書搜尋
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