Mesterséges Intelligencia és Rendszertervezés Tanszék
.NET (1) · absztrakció (2) · absztrakció finomítás (2) · benchmark (1) · biztonság kritikus rendszerek (1) · deduktív verifikáció (1) · formális verifikáció (3) · git (1) · Horn klózok (1) · interprocedurális (1) · kontraktus (1) · kontraktus szintézis (1) · logikai kielégíthetőség (1) · modellellenőrzés (2) · moodle (1) · oktatási eszköz (1) · oktatási segédanyag (1) · Theta* (2) · verem (1) · Verziókezelés (1)
Összesen 4 szakdolgozat és diplomaterv. Összes téma megtekintése »