| VRSTA GRADIVA | monografska publikacija, tekstovno gradivo, tiskano |
| DRŽAVA IZIDA | Slovenija |
| LETO IZIDA | 1992 |
| JEZIK BESEDILA/IZVIRNIKA | slovenski |
| PISAVA | latinica |
| VRSTA VSEBINE | doktorska disertacija |
| DELO IMA | ilustracije |
| AVTOR | Brezočnik, Zmago - avtor |
| ODGOVORNOST | Horvat, Bogomir - mentor |
| NASLOV | Funkcionalna semantika in formalna verifikacija sinhronih vezij : doktorska disertacija |
| IMPRESUM | Maribor : [Z. Brezočnik], 1992 |
| TISKARNA | Maribor (Tehniška fakulteta, ERI) |
| FIZIČNI OPIS | . - XVII, 178 str. : ilustr. ; 30 cm |
| OPOMBE | Strojep. avtogr. // 12 izv. // Povzetek ; Abstract // Bibliografija: str. 172-178 // Univ. Maribor, Tehniška fak., Elektrotehnika, računalništvo in informatika |
| OSTALI NASLOVI | Functional semantics and formal verification of synchronous circuits |
| PREDMETNE OZNAKE | digitalni sistemi // sinhrona vezja // disertacije |
| UDK | 681.32(043.3), 043.3(497.12):681.32 |
| UDK ZA STATISTIKO | 681.3 |
| COBISSSI-ID | 5 |