Formale Verifikation

Literatur

 aufwärts

Literatur

[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]

Buch  

 

 Weiter mit:   up

 

homeH.W. Lang   Hochschule Flensburg   lang@hs-flensburg.de   Impressum   ©  
Valid HTML 4.01 Transitional