Home | Portal | Literatur | Links | Moss | Shell-Befehle

Informatik

Schriften:

1. Rezepte der Informatik
2. Programmieren in Rust
3. Programmieren in Gallina

Folien:

1. Programmverifikation
2. Verifikation probalistischer Programme
3. Datensicherung

Sonstiges:

1. Probleme von JavaScript
2. WDQS-Einführung