Hauptstudium-Texte
Seminare
| Name | Beschreibung | Quelle |
| t10_seminar.tar.gz | "Defekte in Software" von Marcel Noe | |
| vortrag_hacker.tar | Hackerabwehr und Netzsicherheit - Defekte in Software von Marcel Noe |
Skripte
| Name | Beschreibung | Quelle |
| FSSkript.pdf | Formale Systeme Skript WS 07/08 | i12www.ira.uka.de/~mu... |
| skriptum.pdf | Automatisches Beweisen | |
| skriptum.ps | Automatisches Beweisen |
Zusammenfassungen
| Name | Beschreibung | Quelle |
| SystemArchitecture.pdf | System Architecture von Daniel Strutz | |
| fosys_summary.pdf | Formale System Short Summary von Adam Urban | |
| swt_summary.pdf | Yet Another SWT Summary von Adam L. Urban | |
| sysarch-summary.pdf | SysArch-Summary | |
| tut42.pdf | Formale Systeme Tutorium 42 |
Fragen zu FormSys
| Name | Beschreibung | Quelle |
| fosys_questions.pdf |
Protokolle
| Name | Beschreibung | Quelle |
| mydrive-download.zip | Boehm Prüfungsprotokolle |
Diese Rubrik gepackt
27.10.2008 12:50:54