Literatur

Die Vorlesung stützt sich in großen Teilen auf die folgenden Materialien:

red dot  Klaus Echtle, Michael Goedicke: "Lehrbuch der Programmierung mit Java", dpunkt Verlag, 2000.

blue dot  Reinhard Schiedermeier: "Programmieren mit Java", Pearson Studium, 2010.

blue dot  Robert Sedgewick, Kevin Wayne: "Einführung in die Programmierung mit Java", Pearson Studium, 2011.

blue dot  Hanspeter Mössenböck: "Sprechen Sie Java?", dpunkt Verlag, 2005.

red dot  Wolfgang Küchlin, Andreas Weber: "Einführung in die Informatik", Springer Verlag, 2000.
Der Teil der Vorlesung über Verifikation stammt im wesentlichen aus Abschnitt 17.2 dieses Buches.

blue dot  Ernst-Erich Doberkat, Stefan Dißmann: "Einführung in die objektorientierte Programmierung mit  Java", Oldenbourg Verlag, 2000.

blue dot  Robert W. Sebesta: "Concepts of Programming Languages", Addison-Wesley, 3. Auflage, 1996.

blue dot  John C. Mitchell: "Concepts in Programming Languages", Cambridge University Press, 2003.

Weitere Bücher zu Java:

blue dot  Guido Krueger: "Handbuch der Java-Programmierung", 6. Auflage, Addison-Wesley, 2009. (online Version)

blue dot Christian Ullenboom: "Java ist auch eine Insel", 9. Auflage, Galileo Computing, 2011. (html Version)

blue dot  David Riley: "The object of Java: Introduction to Java programming in BlueJ using software engineering principles", Addison-Wesley, 2003.

blue dot  K. N. King: "Java Programming - From The Beginning", Norton, 2000.

blue dot Judith Bishop: "Java Gently", Addison Wesley, 3rd edition, 2001. Auch auf Deutsch als "Java lernen" erhältlich, Pearson Studium, 2003

blue dot  Walter Savitch: "Java - An Introduction to Computer Science & Programming", Prentice Hall, 2nd edition, 2001.

blue dot  John Lewis, William Loftus: "Java Software Solutions", Pearson, 2012. 2001.

Bücher zu Haskell:

blue dot  Peter Thiemann: "Grundlagen der funktionalen Programmierung", Teubner, 1994.

blue dot  Richard Bird: "Introduction to Functional Programming using Haskell", Prentice Hall Press, 1998.

blue dot  Simon J. Thompson: "Haskell: The Craft of Functional Programming", Addison-Wesley, 1999.

blue dot  Paul Hudak, John Peterson, Joseph Fasel: "A Gentle Introduction to Haskell". (download)

blue dot  P. Pepper: Funktionale Programmierung, Springer, 2002.

blue dot M. M. T. Chakravarty, G. C. Keller: "An Introduction to Computing With Haskell", Pearson, 2002.
Auch auf Deutsch als "Einführung in die Programmierung mit Haskell" erhältlich, Pearson, 2004.

red dot  Jürgen Giesl: "Grundlagen der Funktionalen Programmierung", Vorlesungsskript, RWTH Aachen, 2014.  (download)

Bücher zu Prolog:

red dot  Michael Hanus: "Problemlösen mit Prolog, Teubner, 1987.

blue dot  L. Sterling, E. Shapiro: "The Art of Prolog", MIT Press, 1994.

blue dot  William F. Clocksin, Christopher S. Mellish: "Programming in Prolog", Springer, 2003.

blue dot  Ivan Bratko: "Prolog programming for artificial intelligence", Addison-Wesley, 2001.