Grundlagen der Informatik
GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq"
S; Di, 16:00 - 18:00, F21/061
|
Mendler, M.
Sticht, M.
|
GdI-CaC-M: Theorie verteilter Systeme
V/Ü; 4 SWS; Fr, 8:30 - 10:00, FMA/119; Fr, 12:00 - 14:00, F21/381; Einzeltermin am 25.6.2012, 12:00 - 14:00, F21/380; Einzeltermin am 25.6.2012, 14:00 - 16:00, KÄ7/01/112; Start of Classes: Friday, 27.4.2012, 12:15 hrs in F381
|
Mendler, M.
|
|
|