> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Software product and process quality improvement using formal methods Beteiligte: Mishra, Satish [Verfasser]; Fischer, Joachim [Akademischer Betreuer]; Krieg-Brückner, Bernd [Akademischer Betreuer]; Schlingloff, Holger [Akademischer Betreuer] Erschienen: Berlin: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Software Prudukt und Software Prozess ; Formal Methoden ; CMMI ; CSP CASL ; Software Pruduct und Software Process ; Formal Methods ; Hochschulschrift Entstehung: Hochschulschrift: Berlin, Humboldt Universität zu Berlin, Diss., 2014 Anmerkungen: Zugangsstatus: Freier Zugang