Siirry suoraan sisältöön
Programmentwicklung und Verifikation
Tallenna

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.
Kirjailija
Gerald Futschek
ISBN
9783211818671
Kieli
saksa
Paino
310 grammaa
Julkaisupäivä
23.3.1989
Sivumäärä
183