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