Datei:TU Wien-Programm- und Systemverifikation VU (diverse) - SS 14 - Assignment 1.pdf
Zur Navigation springen
Zur Suche springen
TU_Wien-Programm-_und_Systemverifikation_VU_(diverse)_-_SS_14_-_Assignment_1.pdf (Dateigröße: 95 KB, MIME-Typ: application/pdf)
Übung 1 vom Sommersemester 2014 (Induktive Assertions, Bugsuche mittels Assertions)
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
Version vom | Maße | Benutzer | Kommentar | |
---|---|---|---|---|
aktuell | 20:25, 14. Apr. 2014 | (95 KB) | Helmi77 (Diskussion | Beiträge) | Übung 1 vom Sommersemester 2014 (Induktive Assertions, Bugsuche mittels Assertions) |
Dateiverwendung
Keine Seiten verwenden diese Datei.