Verification and Application of Program Transformations

Horpácsi, Dániel [Horpácsi, Dániel (Informatikai tudo...), szerző] PhD Informatika Doktori Iskola (ELTE / IK)

Angol nyelvű Tudományos PhD (Disszertáció)
Megjelent: , 116 p. 2019
    Azonosítók
    Szakterületek:
      Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
      2020-12-04 14:30