Integrácia formálnych a semiformálnych špecifikačných metód
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Manuscript Book |
| Language: | Slovak |
| Published: |
STU v Bratislave FIIT,
2009
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Integrácia formálnych a semiformálnych špecifikačných metód
- Podporné prostredie pre integráciu formálnych a semiformálnych špecifikačných metód = Formal and semiformal specifocation methods integration support : Dipl.práca
- Simulátor formálnych výpočtových strojov - Turingov stroj, RAM
- Simulátor formálnych výpočtových strojov - Turingov stroj, RAM
- Teorija formaľnych jazykov : Vvodnyj kurs /
- Simulátor formálnych výpočtových strojov
- Simulátor formálnych výpočtových strojov