Media type: Book; Conference Proceedings Title: Testen, Analysieren und Verifizieren von Software : proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 Contributor: Liggesmeyer, Peter [Editor] Corporation: Gesellschaft für Informatik, Arbeitskreis Testen, Analysieren und Verifizieren von Software Published: Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Informatik aktuell Extent: VIII, 186 S; graph. Darst Language: German; English ISBN: 3540558608; 0387558608 RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge SS 1992 : Veranstaltungsjahr 1992 Keywords: Software > Qualitätskontrolle Programmverifikation Softwaretest Origination: Footnote: Beitr. teilw. dt., teilw. engl
Departmental Library DrePunct – stack Shelf-mark: 93 8 18161 003 Item ID: 10116311 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order