Grundlagen der Informatik I “Programmierung”

Literaturverzeichnis
[Bauer & Wirsing, 1991] Friedrich L. Bauer and Martin Wirsing. Elementare Aussagenlogik. Springer Verlag,
1991.
[Baumann, 1990] R. Baumann. Didaktik der Informatik. Klett Schulbuchverlag, 1990.
[Bochenski & Menne, 1983] I. M. Bochenski and Albert Menne. Grundriß der formalen Logik. Number 59 in
Uni Taschenbücher. F. Schöningh Verlag, 5 edition, 1983.
[Davis, 1989] Ruth E. Davis. Truth, Deduction, and Computation. Computer Science Press, New York, 1989.
[Dijkstra, 1976] Edsger W. Dijkstra. A discipline of Programming. Prentice Hall, 1976.
[Gries, 1981] David Gries. The science of programming. Springer Verlag, 1981.
[Hermes, 1972] H. Hermes. Einführung in die mathematische Logik. , Stuttgart, 3 edition, 1972.
[Hoffmann, 1990] H.-J. Hoffmann. Grundzüge der Informatik I + II. Skriptum, TH Darmstadt, 1990.
[Kammerer, 1993] Kammerer. Grundzüge der Informatik II. Skriptum, TH Darmstadt, 1993.
[Loeckx & Sieber, 1987] Jacques Loeckx and Kurt Sieber. The Foundations of Program Verification. B.G.
Teubner, Stuttgart, 1987.
[Meyer, 1988] Bertrand Meyer. Object-oriented Software Construction. Prentice Hall, 1988.
[Meyer, 1992] Bertrand Meyer. Eiffel – the Language. Prentice Hall, 1992.
[Polya, 1945] G. Polya. How to solve it. Princeton University Press, Princeton, New Jersey, 1945.
[Stoy, 1977] Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language
Theory. MIT Press, Cambridge, MA, 1977.
[Woodcock & Loomes, 1988] J. C. P. Woodcock and M. Loomes. Software engineering mathematics. Pitman,
London, 1988.
193