Filtrovat dle předmětu
Zobrazují se záznamy 1-2 z 1
| conceptual modelling, Haskell, verification, validation, visualization, MDD, formal specification, compiler-driven modelling (1) |
| konceptuální modelování, Haskell, verifikace, validace, vizualizace, MDD, formální specifikace, kompilátorem řízené modelování (1) |