EA12: Klasszikus helyességbizonyítás
Semester:
2011. ősz
Az előadás tartalma:
Klasszikus helyességbizonyítás
- Egyszerű pszeudo-nyelvek
- Strukturált pszeudo-nyelvek
Download:
Az előadás tartalma:
Klasszikus helyességbizonyítás