Programmierung: Vorlesung (Mi, 02.11.2016)
Zur Veranstaltungsseite
  • Einbetten

Beschreibung:

-Grundelemente der Programmierung-
Verifikation bis "Terminierung"

Kapitel:

00:10:17
Konsequenzregel 1
00:20:37
Konsequenzregel 2
00:24:23
Sequenzregel
00:32:11
Bedingungsregel 1
00:42:02
Bedingungsregel 2
00:48:52
Schleifenregel
01:14:29
Beispiel für Reales Java
01:19:41
Terminierung