Gå direkte til innholdet
Programmentwicklung und Verifikation
Spar

Programmentwicklung und Verifikation

Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Programme und die Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt.
ISBN
9783211818671
Språk
Tysk
Vekt
310 gram
Utgivelsesdato
23.3.1989
Antall sider
183