Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1067078452
Link zu diesem Datensatz | https://d-nb.info/1067078452 |
Art des Inhalts | Hochschulschrift |
Titel | Improving coverage in simulation-based verification / Yang Shuo |
Person(en) | Yang, Shuo (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 2014 |
Umfang/Format | IV, 120 S. : graph. Darst. ; 30 cm |
Hochschulschrift | Bremen, Univ., Diss., 2014 |
Sprache(n) | Englisch (eng) |
DDC-Notation | 004.028 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2015 B 11062
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2015 B 11778
Bereitstellung in Leipzig |