> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; Dissertation; Elektronische Hochschulschrift; E-Book Titel: Kompositionale Softwareverifikation mechatronischer Systeme Beteiligte: Schilling, Daniela [Verfasser:in] Erschienen: Universitätsbibliothek Paderborn: Digitale Sammlungen, 2006 Sprache: Deutsch Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: von Daniela Schilling ; Paderborn, Univ., Diss., 2006