Formale Analyse und Bewertung von Programmen und Programmsystemen als Beitrag zur Beurteilung von Softwareprodukten
By: André Werner
Publisher: Dissertationsdruck
Published: 1982
Place of publication: Berlin]
Language: ger
Number of pages: 473
Notes: Thesis (doctoral)--Berlin, 1982.