Programmentwicklung und Verifikation
Series: Springers Angewandte Informatik
Publisher: Springer Vienna
Published: 1989
Place of publication: Vienna
Language: ger
Format: [Elektronische Ressource]
ISBN-13: 9783709187951
Subjects: Verifikation (Datenverarbeitung); Programmverifikation; Programmierung (Datenverarbeitung); Softwareentwicklung; Programm (Datenverarbeitung)
Notes: Langzeitarchivierung gewährleistet LZA