СловникиФорумКонтакти

Google | Forvo | +
до фраз

CTL model checking algorithm

наголоси
прогр. алгоритм верификации моделей для CTL (ssn)
CTL model checking algorithm
: 5 фраз в 1 тематиці
Програмування5

Додати | Повідомити про помилку | Коротке посилання