Programmverifikation

[AA 78]   S. Alagić, M.A. Arbib: The Design of Well-Structured and Correct Programs. Texts and Monographs in Computer Science, Springer (1978)

[AO 94]   K.R. Apt, E.R. Olderog: Programmverifikation. Springer (1994)

[GSchn 94]   D. Gries, F.B. Schneider: A Logical Approach to Discrete Math. Texts and Monographs in Computer Science, Springer (1994)

[Hoa 69]   C.A.R. Hoare: An Axiomatic Basis for Computer Programming. Communications of the ACM, 12, 576-580 (1969)

[Lan 12]   H.W. Lang: Algorithmen in Java. 3. Auflage, Oldenbourg (2012)

Die Inhalte dieser Webseiten zum Thema Programmverifikation finden Sie auch in meinem Buch über Algorithmen.

[Weitere Informationen]