ПОДХОДИ ЗА МОДЕЛИРАНЕ И ВЕРИФИКАЦИЯ НА ПРОГРАМНО ОСИГУРЯВАНЕ / APPROACHES FOR SOFTWARE MODELING AND VERIFICATION
| Autor: | Orozova, Daniela Ananieva |
|---|---|
| Zdroj: | Годишник на Бургаски свободен университет / Burgas Free University Annual. XLII(1):41-47 |
| Databáze: | Central and Eastern European Online Library (CEEOL) |
| Externí odkaz: |
|