Education
Vorlesungsdatum: 21.01.2013 Thema: Assertions Beschreibung: Aufbauend auf Überlegungen zum strukturierten und systematischen Entwurf von Algorithmen werden die wichtigsten Konstrukte moderner höherer Programmiersprachen sowie Programmiermethoden erläutert und an Beispielen illustriert.