-
Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega raziskovalnega dela na temeljnem raziskovalnem projektu v letu 1994 [za MZT Slovenije] : temeljni raziskovalni projekt J2-5122-0796-94Brezočnik, ZmagoVrsta gradiva - raziskovalno poročiloZaložništvo in izdelava - Maribor : Tehniška fakulteta, 1994Jezik - slovenskiCOBISS.SI-ID - 7621380
Avtor
Brezočnik, Zmago
Drugi avtorji
Horvat, Bogomir, 1936- |
Kapus, Tatjana |
Dugonik, Bogdan |
Dreo, Gabrijela |
Balan, Filip Samo |
Stergar, Janez, 1968- |
Babič, Rudolf |
Solar, Mitja |
Meolic, Robert |
Štrakl, Marjan |
Časar, Aleš
Teme
računalništvo |
formalna verifikacija |
digitalni sistemi |
porazdeljeni programski sistemi |
logične funkcije |
binarni odločitveni grafi |
paralelni programi |
sinhrona sekvenčna vezja |
semantika |
časovna logika
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
Knjižnica tehniških fakultet, Maribor | pisarna A-003 (FS) RN-FERI-94 BREZOČNIK Z. FORMALNA | prosto - za čitalnico |
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Brezočnik, Zmago | 02071 |
Horvat, Bogomir, 1936- | 03015 |
Kapus, Tatjana | 00873 |
Dugonik, Bogdan | 08676 |
Balan, Filip Samo | 11552 |
Stergar, Janez, 1968- | 14915 |
Babič, Rudolf | 01959 |
Solar, Mitja | 04535 |
Meolic, Robert | 17878 |
Štrakl, Marjan | 13643 |
Časar, Aleš | 15672 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.