Zaloga: Formalna verifikacija sistemov :

Slika na naslovnici

QR koda

Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega dela na temeljnem raziskovalnem projektu v letu 1993 [za MZT Slovenije] : temeljni raziskovalni projekt P2-5122/796-93 /

Shranjeno v:

Bibliografske podrobnosti
Main Authors:	Brezočnik, Zmago, Horvat, Bogomir, 1936- (Author), Kapus, Tatjana. (Author), Dugonik, Bogdan. (Author), Dreo-Rodošek, Gabrijela. (Author), Balan, Filip Samo. (Author), Stergar, Janez. (Author), Babič, Rudolf. (Author), Solar, Mitja. (Author), Meolic, Robert. (Author), Štrakl, Marjan. (Author), Časar, Aleš. (Author)
Format:	Knjiga
Jezik:	Slovenian
Izdano:	Maribor : Tehniška fakulteta, 1993.
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
Oznake:	Označite Brez oznak, prvi označite!

Vzdrževanje sistema

Trenutno vzdržujemo knjižnični informacijski sistem.

Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate: