Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/989220141 |
Art des Inhalts | Hochschulschrift |
Titel | Verifying families of system configurations / Kathrin Danielle Scheidemann |
Person(en) | Scheidemann, Kathrin Danielle (Verfasser) |
Verlag | Aachen : Shaker |
Zeitliche Einordnung | Erscheinungsdatum: 2008 |
Umfang/Format | X, 222 S. : Ill., graph. Darst. ; 30 cm, 348 gr. |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Verifying Families of System Configurations |
Hochschulschrift | Zugl.: München, Techn. Univ., Diss., 2008 |
ISBN/Einband/Preis | 978-3-8322-7285-2 kart. : EUR 48.80 (DE), EUR 48.80 (AT), sfr 97.60 (freier Pr.) |
EAN | 9783832272852 |
Sprache(n) | Englisch (eng) |
Beziehungen | Berichte aus der Informatik |
Schlagwörter | Produktfamilie ; Eingebettetes System ; Verifikation ; Konfiguration <Informatik> ; Requirements engineering ; Qualitätssicherung |
DDC-Notation | 004.21 [DDC22ger]; 005.12 [DDC22ger] |
Sachgruppe(n) | 004 Informatik ; 620 Ingenieurwissenschaften und Maschinenbau |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2008 B 19297 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2008 B 19844 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
