2000
Verifikace souběžných procesů s použitím nástroje SPIN
BARNAT, JiříZákladní údaje
Originální název
Verifikace souběžných procesů s použitím nástroje SPIN
Autoři
BARNAT, Jiří
Vydání
Brno, 62 s. 2000
Změněno: 4. 3. 2024 04:44, Záznam byl importován z knihovního systému.