SłownikiForumKontakt

   Angielski Rosyjski
Google | Forvo | +
do fraz
CTL symbolic model checkingakcenty
progr. символьная верификация моделей для CTL (Computation Tree Logic ssn)
CTL symbolic model checking: 2 do fraz, 1 tematyki
Programowanie2