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. 😀

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert

Diese Website verwendet Akismet, um Spam zu reduzieren. Erfahre mehr darüber, wie deine Kommentardaten verarbeitet werden.