Zusammenfassung
In diesem Kapitel werden wir an die Bemerkungen in Abschnitt 2.1.1 über die „Korrektheit von Programmen“ anknüpfen und dieses Thema vertiefen.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur zu Kapitel 4
Bergmann, E. und H. Noll: Mathematische Logik mit Informatik-Anwendungen; Springer Verlag; Berlin, Heidelberg, New York; 1977
Gries, D.: The Science of Programming; Springer-Verlag; New York, Heidelberg, Berlin; 1981
Sale, A.: MODULA-2, Durch systematischen Entwurf zum korrekten Programm; Addison-Wesley Verlag (Deutschland); Bonn; 1987
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Stork, HG. (1993). Programmieren durch Beweisen. In: Methoden der imperativen Programmierung. Leitfäden der angewandten Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94660-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-322-94660-7_4
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02416-3
Online ISBN: 978-3-322-94660-7
eBook Packages: Springer Book Archive