Datei:TU Wien-Programm- und Systemverifikation VU (Weissenbacher)-Folien 2024S - 08 hoare.pdf

Aus VoWi
Zur Navigation springen Zur Suche springen

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomMaßeBenutzerKommentar
aktuell04:10, 6. Okt. 2024 (651 KB)Nullptr (Diskussion | Beiträge){{#attach:TU Wien:Programm- und Systemverifikation VU (Weissenbacher)/Folien 2024S}}

Keine Seiten verwenden diese Datei.