en | de

Experimente mit Verifikation – Einführung in Isabelle/HOL

Masterstudium

VO1  SS 2009  703523

Neuigkeiten

Mar 05: Raumänderung
Die VO wurde von RR 15 in RR 20 verlegt.