Primjena teorije komunicirajućih slijednih procesa u verifikaciji paralelnih i distribuiranih programskih sustava

Permalink: http://skupni.nsk.hr/Record/nsk.NSK01000011989
Matična publikacija: ITA. Informacija telekomunikacije automati
11 (1992), 3-4 ; str. 333-350
Glavni autor: Matić, Vjekoslav (-)
Vrsta građe: Članak
Jezik: hrv
Predmet:

Održavanje sustava u tijeku

Sustav je trenutačno nedostupan zbog održavanja.

Zapisi o posjedovanju i primjercima trenutačno nisu dostupni. Za više informacija kontaktirajte osoblje knjižnice ili pošaljite upit administratoru:

informacijski.centar@nsk.hr