Hoare-Kalkül, SOS-Semantik und Java...


… hießen die Themen, mit denen wir uns gerade hier bei mir zu Hause nochmal in Ruhe auseinandergesetzt haben. Es hat wirklich was gebracht - wenn ich jetzt daran denke, dass ich in genau 1 Woche die entsprechende DAP-Klausur schreiben werde, ich mir bei weitem nicht so mulmig zumute, wie es in den letzten Tagen so war. :-D