Formale Analyse und Bewertung von Programmen und Programmsystemen als Beitrag zur Beurteilung von Softwareprodukten

Berlin, Freie Univ., Diss., 1982

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Werner, André
Format: UnknownFormat
Sprache:ger
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Berlin, Freie Univ., Diss., 1982
Beschreibung:473 S.