Datei:TU Wien-Programm- und Systemverifikation VU (diverse) - Zusammenfassung PSV.pdf
Zur Navigation springen
Zur Suche springen
TU_Wien-Programm-_und_Systemverifikation_VU_(diverse)_-_Zusammenfassung_PSV.pdf (Dateigröße: 442 KB, MIME-Typ: application/pdf)
Beschreibung[Bearbeiten | Quelltext bearbeiten]
Zusammenfassung der Vorlesung "Programm- und Systemverifikation" samt Ausarbeitung einiger Prüfungsbeispiele.
Link zu Github-Repository zum Mitwirken in PDF enthalten!
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|
| aktuell | 10:08, 17. Jun. 2021 | (442 KB) | Cornhead (Diskussion | Beiträge) | Zusammenfassung der Vorlesung "Programm- und Systemverifikation" samt Ausarbeitung einiger Prüfungsbeispiele. Link zu Github-Repository zum Mitwirken in PDF enthalten! {{#attach:TU Wien:Programm- und Systemverifikation VU (diverse)}} |
Dateiverwendung
Keine Seiten verwenden diese Datei.