Azala

Formalna verifikacija sistemov : zaključno poročilo o rezultatih opravljenega znanstveno-raziskovalnega dela na področju temeljnega raziskovanja : številka pogodbe J2-5122-0796-95 /

Gorde:
Xehetasun bibliografikoak
Egile Nagusiak: Brezočnik, Zmago. (Egilea), Horvat, Bogomir, 1936- (Egilea), Kapus, Tatjana. (Egilea), Dugonik, Bogdan. (Egilea), Dreo-Rodošek, Gabrijela. (Egilea), Balan, Filip Samo. (Egilea), Stergar, Janez. (Egilea), Babič, Rudolf. (Egilea), Solar, Mitja. (Egilea), Meolic, Robert. (Egilea), Štrakl, Marjan. (Egilea), Časar, Aleš. (Egilea)
Formatua: Liburua
Hizkuntza:Slovenian
Argitaratua: Maribor : Fakulteta za elektrotehniko, računalništvo in informatiko, 1996.
Gaiak:
telekomunikacije > računalništvo > formalna verifikacija > digitalni sistemi > porazdeljeni sistemi > logične funkcije > binarni odločitveni grafi > sinhrona sekvenčna vezja > semantika > časovna logika
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Sistema mantentze lanetan ari da

Mantentze lanak direla eta, gure Liburutegia Kudeatzeko Sistema ez dago erabilgarri.

Item-en erabilgarritasunari buruzko informazioa ez dabil momento honetan. Mesedez, barkatu eragozpenak. Nahi baduzu, kontakta dezakezu zerbitzu teknikoarekin laguntza gehiagorako:

it.ukm@um.si

Antzeko izenburuak