Témák böngészése

Ezen az oldalon a Portálra feltöltött szakdolgozat és diplomaterv témák között böngészhet.

Találatok

Összesen 2 találat.Exportálás Excelbe

Verifikációs fordító fejlesztése C programokhoz

Tóth Tamás (MIT)
Sallai Gyula (BSc képzés, mérnök informatikus szak, 2016-2017. ősz)

Inkrementális, induktív modellellenőrzés alkalmazása szoftverekre

Tóth Tamás (MIT)
Tegzes Tamás (BSc képzés, mérnök informatikus szak, 2018-2019. ősz)