Datei:TU Wien-Programm- und Systemverifikation VU (diverse) - Zusammenfassung PSV.pdf

From VoWi
Jump to navigation Jump to search

Beschreibung[edit]

Zusammenfassung der Vorlesung "Programm- und Systemverifikation" samt Ausarbeitung einiger Prüfungsbeispiele.

Link zu Github-Repository zum Mitwirken in PDF enthalten!

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current10:08, 17 June 2021 (442 KB)Cornhead (talk | contribs)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)}}

There are no pages that use this file.