Vrátit se na podrobnosti čísla FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU Stáhnout Stáhnout PDF