Russisch ⇄ Englisch

алгоритм верификации моделей для LTL Betonungen
Progr.	LTL model checking algorithm (ssn)
алгоритм верификации моделей для CTL
Progr.	CTL model checking algorithm (ssn)

алгоритм верификации моделей для: 7 Phrasen in 1 Thematik

Programmierung

7