Sonstiges: Verifizierte Berechnung von Datenabhängigkeiten

[zheng13bachelorarbeit]

Haoqian Zheng, Verifizierte Berechnung von Datenabhängigkeiten, November 2013.

Download

[PDF]

BibTeX

@misc{zheng13bachelorarbeit,
  title = {Verifizierte Berechnung von Datenabh{\"a}ngigkeiten},
  year = {2013},
  month = nov,
  author = {Haoqian Zheng},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Institutsinterne Autoren

Ehemalige Studenten
Haoqian Zheng

Bachelor- und Masterarbeiten

Verifizierte Berechnung von Datenabhängigkeiten