The Foundations of Program Verification

• 1 January 1987
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-3-322-96753-4

Abstract

Keywords

• LOGIK
• PROGRAMMIEREN
• PROGRAMMIERSPRACHE
• PROGRAMMIERUNG
• PROGRAMMVERIFIKATION
• SEMANTIK
• WERKSTOFF
• FORMALE SPRACHE
• FORMALE SPRACHEN