Zum Inhalt springen

  1. Mishra, Satish [VerfasserIn] ; Fischer, Joachim [AkademischeR BetreuerIn]; Krieg-Brückner, Bernd [AkademischeR BetreuerIn]; Schlingloff, Holger [AkademischeR BetreuerIn]

    Software product and process quality improvement using formal methods

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015

  2. Mishra, Satish [VerfasserIn] ; Fischer, Joachim [MitwirkendeR]; Krieg-Brückner, Bernd [MitwirkendeR]; Schlingloff, Holger [MitwirkendeR]

    Software product and process quality improvement using formal methods

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015-06-04