Dieses Buch ist ein einführendes Lehrbuch in die Konzepte höherer Programmiersprachen. Die einzelnen Themen werden ausführlich behandelt - durch Übungsaufgaben am Ende eines jeden Kapitels kann der Wissensstand überprüft werden. Die Lösungen zu den Übungsaufgaben werden online bereitgestellt.
Dieses Buch ist ein einführendes Lehrbuch in die Konzepte höherer Programmiersprachen. Die einzelnen Themen werden ausführlich behandelt - durch Übungsaufgaben am Ende eines jeden Kapitels kann der Wissensstand überprüft werden. Die Lösungen zu den Übungsaufgaben werden online bereitgestellt.
Dieses Buch ist ein einführendes Lehrbuch in die Konzepte höherer Programmiersprachen. Die einzelnen Themen werden ausführlich behandelt - durch Übungsaufgaben am Ende eines jeden Kapitels kann der Wissensstand überprüft werden. Die Lösungen zu den Übungsaufgaben werden online bereitgestellt.
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozeß unterstützen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit führt daher eine Methode ein, die es erlaubt, die Zeitkomplexität funktionaler Programme automatisch ...
Dieses Lehrbuch bietet eine fundierte Einführung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von Software in den Mittelpunkt der Darstellung. ...
Der hier vorliegende Band baut auf dem ersten Band auf und vermittelt die wesentlichen Kenntnisse im Entwurf und in der Programmierung mittels imperativer und objektorientierter Programmiersprachen. Schwerpunkte bilden dabei das zustandsorientierte Programmiermodell ...
Dieses Lehrbuch bietet eine fundierte Einführung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von Software in den Mittelpunkt der Darstellung. ...
Das Lehrbuch basiert auf der langjährigen Erfahrung der Autoren in der Ausbildung angehender Informatiker. Es bietet Studierenden im Grundstudium eine fundierte Einführung in die wesentlichen Grundbegriffe und theoretischen Grundlagen der Informatik, wie z.B. Algebren, ...
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozeß unterstützen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit führt daher eine Methode ein, die es erlaubt, die Zeitkomplexität funktionaler Programme automatisch ...