Datei:TU Wien-Programm- und Systemverifikation VU (Weissenbacher)-Folien 2024S - 00 introduction.pdf
Zur Navigation springen
Zur Suche springen
TU_Wien-Programm-_und_Systemverifikation_VU_(Weissenbacher)-Folien_2024S_-_00_introduction.pdf (Dateigröße: 3,12 MB, MIME-Typ: application/pdf)
Beschreibung[Bearbeiten | Quelltext bearbeiten]
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|
| aktuell | 04:08, 6. Okt. 2024 | (3,12 MB) | Nullptr (Diskussion | Beiträge) | {{#attach:TU Wien:Programm- und Systemverifikation VU (Weissenbacher)/Folien 2024S}} |
Dateiverwendung
Keine Seiten verwenden diese Datei.