Príspevok k modelovaniu a verifikácii diskrétnych udalostných a distribuovaných systémov : Č.v. odb. 5.2.14. Obh. 24.05.2006

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Sebestyénová, Jolana (Verfasst von)
Weitere Verfasser: Frankovič, Baltazár (Betreuung Doktorarbeit)
Format: Manuskript Buch
Sprache:Slawische Sprachen
Veröffentlicht: Bratislava : Ústav informatiky SAV, 2006
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

Ähnliche Einträge: Príspevok k modelovaniu a verifikácii diskrétnych udalostných a distribuovaných systémov :