Gå direkt till innehållet
Programmentwicklung und Verifikation
Spara

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.
Författare
Gerald Futschek
ISBN
9783211818671
Språk
Tyska
Vikt
310 gram
Utgivningsdatum
1989-03-23
Sidor
183